Tags · Sophie Quinton / rt-proofs · GitLab

Tags give the ability to mark specific points in history as being important

v0.2

e61a702b · Force make clean to delete every file · Jun 08, 2016

Download source code

zip tar.gz tar.bz2 tar
camera-ready-ecrts-2016

3869c2a7 · Port development to Coq 8.5 · May 05, 2016

Download source code

zip tar.gz tar.bz2 tar
paper-submission-ecrts-2016

266c9014 · Replace nat with time + clean-up code · Mar 02, 2016

Download source code

zip tar.gz tar.bz2 tar
v0.1

266c9014 · Replace nat with time + clean-up code · Mar 02, 2016

Download source code

zip tar.gz tar.bz2 tar