aboutsummaryrefslogtreecommitdiffhomepage
path: root/man/coqtop.1
Commit message (Expand)AuthorAge
* Remove GeoProof support.Gravatar Maxime Dénès2017-10-11
* [flags] Remove XML output flag.Gravatar Emilio Jesus Gallego Arias2017-08-01
* Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.Gravatar Maxime Dénès2016-01-15
* Make -load-vernac-object respect the loadpath.Gravatar Guillaume Melquiond2015-09-28
* The -require option now accepts a logical path instead of a physical one.Gravatar Pierre-Marie Pédrot2015-09-25
* Updating the documentation and the toolchain w.r.t. the change in -compile.Gravatar Pierre-Marie Pédrot2015-09-25
* Removing dead code relative to the XML plugin.Gravatar Pierre-Marie Pédrot2014-09-08
* Removing documentation related to the deprecated State machinery.Gravatar Pierre-Marie Pédrot2014-08-16
* Deprecate useless option -quality.Gravatar Guillaume Melquiond2014-06-13
* Remove documentation for the unsupported options -byte and -opt.Gravatar Guillaume Melquiond2014-06-13
* Coqtop and coqc: cleaning description of options in RefMan and manpages.Gravatar pboutill2012-01-21
* Fix typoGravatar glondu2012-01-07
* Ajout de pages de man pour les exécutables coqGravatar notin2006-10-11
* man pages for coq-interface and parserGravatar courant2001-04-25
* Ajout pages de man coq_makefile et coqmktopGravatar courant2001-04-25
* - Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.byteGravatar courant2001-04-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-25 11:04:56 +0000