| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-08-09 | fix batch compilation of scripts containing Admitted | gareuselesinge |
| 2013-08-08 | stm: (initial) support for -coq-slaves | gareuselesinge |
| 2013-08-08 | enhance marshallable option for freeze (minor TODO in safe_typing) | gareuselesinge |
| 2013-08-08 | Vernac classification streamlined (handles VERNAC EXTEND) | gareuselesinge |
| 2013-08-08 | Support Proof General | gareuselesinge |
| 2013-08-08 | Coqide ported to STM | gareuselesinge |
| 2013-08-08 | State Transaction Machine | gareuselesinge |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |