aboutsummaryrefslogtreecommitdiff
path: root/doc/refman/RefMan-uti.tex
AgeCommit message (Expand)Author
2018-04-10[Sphinx] Move chapter 15 to new infrastructureMaxime Dénès
2017-12-10[make] remove unneeded generated file "tolink.ml"Emilio Jesus Gallego Arias
2017-12-10[build] Remove coqmktop in favor of ocamlfind.Emilio Jesus Gallego Arias
2017-11-19Rename coq-inferior.el -> inferior-coq.el to match provided feature.Gaëtan Gilbert
2017-11-13coq_makefile: document COQ_SRC_SUBDIRSEnrico Tassi
2017-09-22Avoid generated names for html pages of the reference manual (bug #4742).Guillaume Melquiond
2017-08-29coq_makefile: improve documentationEnrico Tassi
2017-07-11Document the timing targetsJason Gross
2017-07-11Strip trailing spacesJason Gross
2017-06-30Document an example `Makefile` for `coq_makefile`Jason Gross
2017-05-23add the only targetEnrico Tassi
2017-05-23enters coq_makefile2Enrico Tassi
2016-09-23Merge branch 'v8.5' into v8.6Pierre-Marie Pédrot
2016-09-19Replace { command ; } with ( command )Erik Martin-Dorel
2016-09-19Fix typos in RefMan-uti.tex.Erik Martin-Dorel
2016-08-23update Proof General URLPaul Steckler
2015-09-10typo in refman.Pierre Courtieu
2015-06-26Typos in my previous edition of the reference manual.Assia Mahboubi
2015-06-26Some edition in the coq_makefile/_CoqProject section.Assia Mahboubi
2015-06-26Added _CoqProject to the index of the reference manual.Assia Mahboubi
2015-04-02Fix documentation of -R and -Q.Guillaume Melquiond
2015-02-05Fix some documentation typos.Guillaume Melquiond
2015-01-29Fix index of reference manual.Guillaume Melquiond
2014-10-16More fallout from elisp renameAnders Kaseorg
2014-09-08Removing the documentation of the XML plugin.Pierre-Marie Pédrot
2014-09-03sed -i.toto -e 's/Objective Caml/\{\ocaml\}/g' doc/refman/RefMan-*.texPierre Boutillier
2014-09-03Improve RefMan section about Coq_makefilePierre Boutillier
2014-08-05Making references to Proof General and CoqIDE uniform in Reference Manual.Hugo Herbelin
2012-03-19RefMan: Environment variables description updatepboutill
2011-09-02Bug 2589: Documentation patch of Hendrik Tewspboutill
2011-07-07coq_makefile documentation in Refman and -hpboutill
2011-04-12remove old traces of SearchIsos (never ported to 7.x nor 8.x)letouzey
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-03-14Coqdep: remove references to obsolete .zi and Require Implementation stuffletouzey
2008-01-05Standardisation du format des références croisées vers Figure, Section, Ch...herbelin
2007-04-17Changed many refman/*.tex files. Put \label and \index commands that immediat...emakarov
2006-02-24Modification des propriétés des fichiers .tex (svn:executable)notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 01:33:26 +0000