Select Git revision
ci/ralf/coq-8.8
gen_proofmode_WIP
master
old-appendix
ralf/atomic
ralf/bump
ralf/monpred-frame
iGPS-1.0