aboutsummaryrefslogtreecommitdiff
path: root/man
AgeCommit message (Expand)Author
2014-06-13Deprecate useless option -quality.Guillaume Melquiond
2014-06-13Remove documentation for the unsupported options -byte and -opt.Guillaume Melquiond
2013-12-20Coqdep always uses / as dir_sepPierre Boutillier
2012-01-21Coqtop and coqc: cleaning description of options in RefMan and manpages.pboutill
2012-01-07Fix typoglondu
2011-11-21-user option removalpboutill
2011-07-07fixed coqchk usage and man page + added option -coqlibbarras
2011-04-12remove old traces of SearchIsos (never ported to 7.x nor 8.x)letouzey
2011-01-11Remove references to -ide option of coqmktopglondu
2010-06-02Fix typosglondu
2010-02-10splitted -> splitglondu
2009-12-01fix coqchk options documentationbarras
2009-10-27Added option --external to coqdoc to bind an url to an external library.herbelin
2009-03-14Coqdep: remove references to obsolete .zi and Require Implementation stuffletouzey
2009-02-10man page of coqchkbarras
2008-08-18Renaming parser -> coq-parserglondu
2008-08-12Add coqide manpage (taken from Debian)glondu
2008-08-08Various fixes in manpagesglondu
2006-10-25coqdep -slashbarras
2006-10-11Ajout de pages de man pour les exécutables coqnotin
2006-05-02Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ...notin
2006-04-27Ajout de la doc de l'option -stdout de coqdocnotin
2006-01-05Adding a man page for doqdoc (JMN)coq
2004-03-29tools/coq_vo2xml removed since no longer in use.sacerdot
2004-03-16page de man pour coqdocfilliatr
2004-03-16page de man pour coqwcfilliatr
2003-04-07Typoherbelin
2001-05-11application patch Claudiofilliatr
2001-04-25man pages for coq-interface and parsercourant
2001-04-25Ajout pages de man coq_makefile et coqmktopcourant
2001-04-25- Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.bytecourant
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:42:05 +0000