Diffusion afp-devel 8803006aad0b

fixed broken LaTeX quotation marks in abstracts
8803006aad0b
Actions

Tags

None

Subscribers

None

Description

fixed broken LaTeX quotation marks in abstracts

Details

Provenance

Authored on

Parents

rAFP112513d0e2e3: recategorised some entries

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFP8803006aad0b: fixed broken LaTeX quotation marks in abstracts.May 9 2023, 11:48 AM

Changes (38)

Path

Size

metadata/

entries/

CAVA_LTL_Modelchecker.toml

Core_SC_DOM.toml

DPT-SAT-Solver.toml

Datatype_Order_Generator.toml

Derangements.toml

FunWithFunctions.toml

LTL_Master_Theorem.toml

Neumann_Morgenstern_Utility.toml

Ordinals_and_Cardinals.toml

Rank_Nullity_Theorem.toml

Real_Power.toml

Stellar_Quorums.toml

Types_Tableaus_and_Goedels_God.toml

X86_Semantics.toml

web/

data/

entries/

CAVA_LTL_Modelchecker.html

Core_SC_DOM.html

DPT-SAT-Solver.html

Datatype_Order_Generator.html

Derangements.html

FunWithFunctions.html

LTL_Master_Theorem.html

Neumann_Morgenstern_Utility.html

Ordinals_and_Cardinals.html

Rank_Nullity_Theorem.html

Real_Power.html

Stellar_Quorums.html

Types_Tableaus_and_Goedels_God.html

X86_Semantics.html

rAFP8803006aad0b

metadata/entries/CAVA_LTL_Modelchecker.toml

Loading...

metadata/entries/Core_SC_DOM.toml

Loading...

metadata/entries/DPT-SAT-Solver.toml

Loading...

metadata/entries/Datatype_Order_Generator.toml

Loading...

metadata/entries/Derangements.toml

Loading...

metadata/entries/Deriving.toml

Loading...

metadata/entries/FunWithFunctions.toml

Loading...

metadata/entries/LTL_Master_Theorem.toml

Loading...

metadata/entries/Neumann_Morgenstern_Utility.toml

Loading...

metadata/entries/Ordinals_and_Cardinals.toml

Loading...

metadata/entries/Rank_Nullity_Theorem.toml

Loading...

metadata/entries/Real_Power.toml

Loading...

metadata/entries/Rensets.toml

Loading...

metadata/entries/Stellar_Quorums.toml

Loading...

metadata/entries/Trie.toml

Loading...

metadata/entries/Types_Tableaus_and_Goedels_God.toml

Loading...

metadata/entries/VYDRA_MDL.toml

Loading...

metadata/entries/X86_Semantics.toml

Loading...

web/data/keywords.json

Loading...

web/entries/CAVA_LTL_Modelchecker.html

Loading...

web/entries/Core_SC_DOM.html

Loading...

web/entries/DPT-SAT-Solver.html

Loading...

web/entries/Datatype_Order_Generator.html

Loading...

web/entries/Derangements.html

Loading...

web/entries/Deriving.html

Loading...

web/entries/FunWithFunctions.html

Loading...

web/entries/LTL_Master_Theorem.html

Loading...

web/entries/Neumann_Morgenstern_Utility.html

Loading...

web/entries/Ordinals_and_Cardinals.html

Loading...

web/entries/Rank_Nullity_Theorem.html

Loading...

web/entries/Real_Power.html

Loading...

web/entries/Rensets.html

Loading...

web/entries/Stellar_Quorums.html

Loading...

web/entries/Trie.html

Loading...

web/entries/Types_Tableaus_and_Goedels_God.html

Loading...

web/entries/VYDRA_MDL.html

Loading...

web/entries/X86_Semantics.html

Loading...

web/index.json

Loading...