merged
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rAFP1f46a89f2da9: merged
rAFPb589d11dec72: Sitegen with MathJax - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 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
- 91f1cdbeefc0 AFP-2020 websiteAuthor
- 311700300c7c register 2020 entry releasesAuthor
- 8ffca9ca3c99 remove dependency on Complex_MainAuthor
- e89008fdf2dc regenerate websiteAuthor
- 1dfa8708ac1c declare missing session dependencyAuthor
- 8b32c35af65a Fix missing files.Author
- be8df5368af1 Fix missing files.Author
- 5978c17604c0 merge from afp-2020Author
- 9449ae539c8a adapted to Isabelle2020-RC5Author
- e39f7649d57a merged from afp-2019Author
- 38874e3c4e3d more Logic reorgAuthor
- 78287218763a more Logic reorgAuthor
- 5fae36690aff more subdivison of LogicAuthor