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