| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-09-08 | Removing dead code relative to the XML plugin. | Pierre-Marie Pédrot |
| 2014-08-16 | Removing documentation related to the deprecated State machinery. | Pierre-Marie Pédrot |
| 2014-06-13 | Remove documentation for the unsupported options -byte and -opt. | Guillaume Melquiond |
| 2011-11-21 | -user option removal | pboutill |
| 2008-08-12 | Add coqide manpage (taken from Debian) | glondu |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |