Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Serialize: no need anymore to export of_value / to_value in the mli | 2012-11-19 | |
* | More type-safe interface to Coq XML API. | 2012-09-17 | |
* | When asked for a SearchAbout request, Coq now returns a more precise | 2012-09-09 | |
* | Updating headers. | 2012-08-08 | |
* | A new status Unsafe in Interface. Meant for commands such as Admitted. | 2012-07-12 | |
* | Now CoqIDE separates answer and messages. This should hopefully | 2012-06-29 | |
* | Added semantic completion in CoqIDE. (Should also add an option for that...) | 2012-05-13 | |
* | Added a SearchAbout-like primitive in coqtop interface. | 2012-05-13 | |
* | Added an interface primitive to ask coqtop for its internal versions. | 2012-05-13 | |
* | Added an interface call to exit Coqtop nicely. | 2012-05-02 | |
* | lib directory is cut in 2 cma. | 2012-04-12 |