merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rAFP2fbc8606df8b: small fixes
rAFP64574718f36a: fix afp-submit for markdown processing - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 1109f1da6aae use default AFP chapter settingsAuthor
- 68070f45ec11 merge from afp-develAuthor
- 1d4491b66b50 update version to 2023Author
- de5aea9854b0 update author email (by request)Author
- a8b445bdbdfb merge from afp-2022Author
- a2537884648b sitegen for Fixed_Length_VectorAuthor
- 3e56c4a0b948 moved abstract to root.texAuthor
- d73b9d89ba85 made proofs more robustAuthor
- 7f4d917a2669 new entry Fixed_Length_VectorAuthor
- 621ecb4db884 sitegen for CevaAuthor
- 752bc436731d new entry CevaAuthor
- 6754166c5325 regen websiteAuthor
- 60103a505fe3 Merge changesAuthor
- bf197f173ceb Merged.
- b568861e4f6f metadata formattingAuthor
- 25d3a93bcb98 address metadata warningsAuthor
- ce78ace10b8a merge from afp-2022Author
- f56f08b18fb5 new entry CatoidsAuthor
- 0f4372eb2943 update to isabelle@fd8e1bbc0686Author
- f36747144cca merge from afp-2022Author
- 11ac793e606c merge from afp-2022Author
- 0d3bb169fc7c New entry Polygonal_Number_TheoremAuthor
- bcdd14f238a1 regen websiteAuthor