Tags

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

iris-2.0

922a41c1 · 'Fork' is atomic · Jul 28, 2016
iris-2.0-rc2

aa81760b · Update proof mode docs w.r.t. new syntax. · Jul 13, 2016
iris-2.0-rc1

ab77927c · Merge branch 'master' of gitlab.mpi-sws.org:FP/iris-coq · Mar 16, 2016
iris-1.1

50738b0e · Frame-preserving updates for finite parital functions. · Nov 18, 2015
iris-1.0

0600a917 · make ProofGeneral work again · Jun 16, 2015
hope-2015-coq-1

0ce42920 · coq-ho: update README, remove commented-out robust safety (in preparation for HOPE) · Jun 11, 2015
appendix-1.0.0

209ec3aa · coq readme. · Oct 24, 2014
appendix-1

d86b955f · update README · Jul 08, 2014