| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | A new status Unsafe in Interface. Meant for commands such as Admitted. |  aspiwack | 2012-07-12 |
| * | Adapting the IDE interface with the focussed display. |  ppedrot | 2012-07-10 |
| * | Now CoqIDE separates answer and messages. This should hopefully | ppedrot | 2012-06-29 |
| * | Added semantic completion in CoqIDE. (Should also add an option for that...) | ppedrot | 2012-05-13 |
| * | Added a SearchAbout-like primitive in coqtop interface. | ppedrot | 2012-05-13 |
| * | Added an interface primitive to ask coqtop for its internal versions. | ppedrot | 2012-05-13 |
| * | Slightly modified the coqtop interface by adding an identifier in | ppedrot | 2012-05-11 |
| * | Added an interface call to exit Coqtop nicely. | ppedrot | 2012-05-02 |
| * | lib directory is cut in 2 cma. |  pboutill | 2012-04-12 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |