merge from afp-2022
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFPa2537884648b: sitegen for Fixed_Length_Vector
rAFP630eb1f69696: for better output notation - 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.
- 6754166c5325 regen websiteAuthor
- 60103a505fe3 Merge changesAuthor
- bf197f173ceb Merged.
- b568861e4f6f metadata formattingAuthor
- 25d3a93bcb98 address metadata warningsAuthor
- ce78ace10b8a merge from afp-2022Author
- 0f4372eb2943 update to isabelle@fd8e1bbc0686Author
- f36747144cca merge from afp-2022Author
- 11ac793e606c merge from afp-2022Author
- bcdd14f238a1 regen websiteAuthor
- 56a136acb506 rectify copy/paste errorAuthor
- cd6ff98bc659 new editors Lammich and TraytelAuthor
- 56b9fc8ccf14 Adapted to develAuthor