| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-05-10 | Remove (outdated) timestamps from man pages | Kartik Singhal |
| 2020-04-02 | Minimal fix to man pages. | Théo Zimmermann |
| 2019-02-22 | [library] Remove `-boot` option. | Emilio Jesus Gallego Arias |
| 2017-08-01 | [flags] Remove XML output flag. | Emilio Jesus Gallego Arias |
| 2016-01-15 | Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen. | Maxime Dénès |
| 2015-09-28 | Make -load-vernac-object respect the loadpath. | Guillaume Melquiond |
| 2015-09-25 | The -require option now accepts a logical path instead of a physical one. | Pierre-Marie Pédrot |
| 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 |