A git fork of the afp repositories.
Uses the existing git clones from https://github.com/isabelle-prover/.
Use sync2.sh from main branch to do the synching. By putting
#!/bin/bash
bash -c "$(git -C ~/r/afp cat-file blob main:sync2.sh)"
into .git/sync.sh, you can invoke it more easily.
Branches:
- afp-XXXX: Mirror of the AFP version XXXX (incl. afp-devel)
- unruh-edits: General work in progress by Dominique Unruh
- registers-submission: Work on a paper submission (obsolete?)