| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-10-24 | Fixing order of hypothesis in goal hypotheses compaction for coqtop. | Hugo Herbelin |
| 2014-10-22 | Pushing Pierre's factorization of names in goal context printing from | Hugo Herbelin |
| 2014-10-01 | Factored out IDE goal structure. | Carst Tankink |
| 2014-09-29 | CoqIDE: new message to print AST | Enrico Tassi |
| 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 |