merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rAFPa51be9ca4b87: updated, replacing axiomatizations by proper locales
rAFP95f457f69761: added basic blocks - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 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
- fd1d5b3fdd7c close branchAuthor
- daa87ea0470c close branchAuthor
- f7321f5a8909 close branchAuthor
- a040f98f10ef close branchAuthor
- ff876ac75e44 close branchAuthor
- 3b5ff4b8d37d Closing branch "devel"Author
- a0d561998f20 closed branchAuthor
- ad14484777fc merged