merge Jinja/Isar work
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP5e24878a9118: updated change history for Interpreter_Optimization
rAFP3b6c0a05c5cf: Updating Jinja from apply-style to Isar-style - 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.
- 95f457f69761 added basic blocksAuthor
- 0b37c282b057 moved more legacy to AFPAuthor
- 98a8bdb85f79 merge from afp-2021Author
- 4f1d55756b1a suppress site-gen warningAuthor
- 7858c60cc57a merge from afp-2021Author
- 5fb712317ba8 exclude etc/ in afp_check_rootsAuthor
- ed3bf7f7bedc update usage instrucionsAuthor
- e2811dc54d05 grouped lemmasAuthor
- aae69e3e9178 merge from afp-2021Author
- 33604ec4a9b0 update websiteAuthor
- 7c0105d2d63f tuned presentationAuthor
- 83f656769137 adapted to develAuthor
- 6605c2eb8bc8 merge from afp-2021Author
- ee3c49419315 New entries Combinatorics_Words*Author
- d198fb4d73bd adapted to Isabelle/466fae6bf22e;Author
- 551b996da2ca tuned whitespace;Author
- 17e46e9fdfda merge from afp-2021Author
- 0c83e74a221f simplify usage instructions moreAuthor
- cddbe565783d sitegen for Padic_IntsAuthor
- f463e6d25245 new entry: Padic_IntsAuthor
- e5d26217ccd3 update affiliationAuthor