aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/RefMan-uti.tex
Commit message (Expand)AuthorAge
* [Sphinx] Move chapter 15 to new infrastructureGravatar Maxime Dénès2018-04-10
* [make] remove unneeded generated file "tolink.ml"Gravatar Emilio Jesus Gallego Arias2017-12-10
* [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
* Rename coq-inferior.el -> inferior-coq.el to match provided feature.Gravatar Gaëtan Gilbert2017-11-19
* coq_makefile: document COQ_SRC_SUBDIRSGravatar Enrico Tassi2017-11-13
* Avoid generated names for html pages of the reference manual (bug #4742).Gravatar Guillaume Melquiond2017-09-22
* coq_makefile: improve documentationGravatar Enrico Tassi2017-08-29
* Document the timing targetsGravatar Jason Gross2017-07-11
* Strip trailing spacesGravatar Jason Gross2017-07-11
* Document an example `Makefile` for `coq_makefile`Gravatar Jason Gross2017-06-30
* add the only targetGravatar Enrico Tassi2017-05-23
* enters coq_makefile2Gravatar Enrico Tassi2017-05-23
* Merge branch 'v8.5' into v8.6Gravatar Pierre-Marie Pédrot2016-09-23
|\
| * Replace { command ; } with ( command )Gravatar Erik Martin-Dorel2016-09-19
| * Fix typos in RefMan-uti.tex.Gravatar Erik Martin-Dorel2016-09-19
* | update Proof General URLGravatar Paul Steckler2016-08-23
|/
* typo in refman.Gravatar Pierre Courtieu2015-09-10
* Typos in my previous edition of the reference manual.Gravatar Assia Mahboubi2015-06-26
* Some edition in the coq_makefile/_CoqProject section.Gravatar Assia Mahboubi2015-06-26
* Added _CoqProject to the index of the reference manual.Gravatar Assia Mahboubi2015-06-26
* Fix documentation of -R and -Q.Gravatar Guillaume Melquiond2015-04-02
* Fix some documentation typos.Gravatar Guillaume Melquiond2015-02-05
* Fix index of reference manual.Gravatar Guillaume Melquiond2015-01-29
* More fallout from elisp renameGravatar Anders Kaseorg2014-10-16
* Removing the documentation of the XML plugin.Gravatar Pierre-Marie Pédrot2014-09-08
* sed -i.toto -e 's/Objective Caml/\{\ocaml\}/g' doc/refman/RefMan-*.texGravatar Pierre Boutillier2014-09-03
* Improve RefMan section about Coq_makefileGravatar Pierre Boutillier2014-09-03
* Making references to Proof General and CoqIDE uniform in Reference Manual.Gravatar Hugo Herbelin2014-08-05
* RefMan: Environment variables description updateGravatar pboutill2012-03-19
* Bug 2589: Documentation patch of Hendrik TewsGravatar pboutill2011-09-02
* coq_makefile documentation in Refman and -hGravatar pboutill2011-07-07
* remove old traces of SearchIsos (never ported to 7.x nor 8.x)Gravatar letouzey2011-04-12
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Coqdep: remove references to obsolete .zi and Require Implementation stuffGravatar letouzey2009-03-14
* Standardisation du format des références croisées vers Figure, Section, Ch...Gravatar herbelin2008-01-05
* Changed many refman/*.tex files. Put \label and \index commands that immediat...Gravatar emakarov2007-04-17
* Modification des propriétés des fichiers .tex (svn:executable)Gravatar notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty2006-02-24
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 01:56:47 +0000