| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |