merge from afp-2021-1
Description
Description
Details
Details
- Provenance
Fabian Huch <huch@in.tum.de> Authored on - Parents
- rAFPd34f0b952a04: regenerate site;
rAFPa969a9029a5c: clarified options, following f2094906e491; - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Fabian Huch <huch@in.tum.de> committed rAFPd81cfd823ae9: merge from afp-2021-1.Sep 27 2022, 3:14 PM2022-09-27 15:14:23 (UTC+2)
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 5e7974c944c6 adjusted to distributionAuthor
- 59f623140cfa adapt to Isabelle@769a7cd5a16aAuthor
- bd79c9c8cfa0 merge from afp-2021-1Author
- edc3ffeb8c5e Renaming synthesized formulasAuthor
- 4b812a85fec9 Purely cosmeticAuthor
- 8ed602cdcb58 MergeAuthor
- 50da79b217bc Tidied (a lot)Author
- 34a31d29f666 streamlinedAuthor
- 4fc8e413c764 tuned whitespace;Author
- d90ff1d6d4ab updated to develAuthor
- 13d7491c6ab9 adapted to antimonoAuthor