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