| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-09-12 | Referring to evars by names. Added a parser for evars (but parsing of | Hugo Herbelin |
| 2014-09-09 | toploop plugins taken into account when printing --help (close: 3535) | Enrico Tassi |
| 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 |