Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [flags] Remove XML output flag. | 2017-08-01 | |
* | Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen. | 2016-01-15 | |
* | Make -load-vernac-object respect the loadpath. | 2015-09-28 | |
* | The -require option now accepts a logical path instead of a physical one. | 2015-09-25 | |
* | Removing dead code relative to the XML plugin. | 2014-09-08 | |
* | Removing documentation related to the deprecated State machinery. | 2014-08-16 | |
* | Remove documentation for the unsupported options -byte and -opt. | 2014-06-13 | |
* | -user option removal | 2011-11-21 | |
* | Add coqide manpage (taken from Debian) | 2008-08-12 |