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