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