| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-02-02 | More information returned by coqtop about its internal state. Hopefully we'll... | ppedrot |
| 2011-12-21 | sequel of previous commit | letouzey |
| 2011-12-15 | Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :... | ppedrot |
| 2011-11-25 | 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 |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |