merge from afp-2020
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP35a3e96d1e61: sitegen with mathjax
rAFP8248dddd8b5d: removed spurious locale argument - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 882b6b02de94 corrected classificationAuthor
- 797d37a624ad lemmas are now in ListAuthor
- 6c95b5484a25 Backed out changeset 9af08c18b665Author
- 8832fd9452c0 clean up TODOsAuthor
- 8fdbf93f3404 cleanup, guided by old FIXMEsAuthor
- 34620ae99267 added lemmaAuthor
- 9792b8607ad6 Tuned MathJax templatesAuthor
- 40282cc15d5e Documentation for MathJaxAuthor
- 8debf0ad489a tuningAuthor
- b589d11dec72 Sitegen with MathJaxAuthor
- f2adcf6df63e tuningAuthor
- 00e9bcef9f32 tuned whitespaceAuthor
- 2f1b1f57bd12 moved lemma where it belongedAuthor
- ea64af8304a7 merge from afp-2020Author
- be8df5368af1 Fix missing files.Author
- 5978c17604c0 merge from afp-2020Author
- a0d561998f20 closed branchAuthor