| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-09-17 | More type-safe interface to Coq XML API. | ppedrot |
| 2012-09-14 | The new ocaml compiler (4.00) has a lot of very cool warnings, | regisgia |
| 2012-09-09 | When asked for a SearchAbout request, Coq now returns a more precise | ppedrot |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-07-12 | A new status Unsafe in Interface. Meant for commands such as Admitted. | aspiwack |
| 2012-07-10 | Adapting the IDE interface with the focussed display. | ppedrot |
| 2012-06-29 | Now CoqIDE separates answer and messages. This should hopefully | ppedrot |
| 2012-05-13 | 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-11 | Slightly modified the coqtop interface by adding an identifier in | ppedrot |
| 2012-05-02 | Added an interface call to exit Coqtop nicely. | ppedrot |
| 2012-04-12 | lib directory is cut in 2 cma. | pboutill |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |