| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-09-02 | Fixup introduction of coqworkmgr | Pierre Boutillier |
| 2014-09-02 | coqworkmgr | Enrico Tassi |
| 2014-09-01 | Coqide prints succesive hyps of the same type on 1 line | Pierre Boutillier |
| 2014-06-25 | all coqide specific files moved into ide/ | Enrico Tassi |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |