aboutsummaryrefslogtreecommitdiffhomepage
path: root/man
Commit message (Expand)AuthorAge
* Archive the `gallina` toolGravatar Vincent Laporte2018-06-25
* Minor update of the documentation/man about the resource file.Gravatar Hugo Herbelin2018-05-16
* Add CHANGES and man entry for coqdep learning _CoqProject.Gravatar Gaëtan Gilbert2018-03-06
* [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
* Documenting the -Q flag of coqchk.Gravatar Pierre-Marie Pédrot2017-12-01
* Documenting the possibility to pass filenames to coqchk.Gravatar Pierre-Marie Pédrot2017-11-29
* Remove GeoProof support.Gravatar Maxime Dénès2017-10-11
* Typo in coqdep manGravatar Gaëtan Gilbert2017-09-29
* [flags] Remove XML output flag.Gravatar Emilio Jesus Gallego Arias2017-08-01
* [vernac] Remove `Save.` command.Gravatar Emilio Jesus Gallego Arias2017-05-23
* Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.Gravatar Maxime Dénès2016-01-15
* Fix #4408.Gravatar Pierre Courtieu2016-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
* Coqdep always uses / as dir_sepGravatar Pierre Boutillier2013-12-20
* Coqtop and coqc: cleaning description of options in RefMan and manpages.Gravatar pboutill2012-01-21
* Fix typoGravatar glondu2012-01-07
* -user option removalGravatar pboutill2011-11-21
* fixed coqchk usage and man page + added option -coqlibGravatar barras2011-07-07
* remove old traces of SearchIsos (never ported to 7.x nor 8.x)Gravatar letouzey2011-04-12
* Remove references to -ide option of coqmktopGravatar glondu2011-01-11
* Fix typosGravatar glondu2010-06-02
* splitted -> splitGravatar glondu2010-02-10
* fix coqchk options documentationGravatar barras2009-12-01
* Added option --external to coqdoc to bind an url to an external library.Gravatar herbelin2009-10-27
* Coqdep: remove references to obsolete .zi and Require Implementation stuffGravatar letouzey2009-03-14
* man page of coqchkGravatar barras2009-02-10
* Renaming parser -> coq-parserGravatar glondu2008-08-18
* Add coqide manpage (taken from Debian)Gravatar glondu2008-08-12
* Various fixes in manpagesGravatar glondu2008-08-08
* coqdep -slashGravatar barras2006-10-25
* Ajout de pages de man pour les exécutables coqGravatar notin2006-10-11
* Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ...Gravatar notin2006-05-02
* Ajout de la doc de l'option -stdout de coqdocGravatar notin2006-04-27
* Adding a man page for doqdoc (JMN)Gravatar coq2006-01-05
* tools/coq_vo2xml removed since no longer in use.Gravatar sacerdot2004-03-29
* page de man pour coqdocGravatar filliatr2004-03-16
* page de man pour coqwcGravatar filliatr2004-03-16
* TypoGravatar herbelin2003-04-07
* application patch ClaudioGravatar filliatr2001-05-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-04-26 08:31:51 +0000