| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | lib directory is cut in 2 cma. |  pboutill | 2012-04-12 |
| * | More information returned by coqtop about its internal state. Hopefully we'll... |  ppedrot | 2012-02-02 |
| * | sequel of previous commit |  letouzey | 2011-12-21 |
| * | Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :... | ppedrot | 2011-12-15 |
| * | Added an API call to retrieve and change the option state | ppedrot | 2011-11-25 |
| * | Separated the toplevel interface into a purely declarative module with associ... | ppedrot | 2011-11-25 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |