aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/RefMan-com.tex
Commit message (Expand)AuthorAge
* 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
* Fix documentation of -R and -Q.Gravatar Guillaume Melquiond2015-04-02
* Fixing a few typos + some uniformization of writing in doc.Gravatar Hugo Herbelin2015-04-01
* Fix index of reference manual.Gravatar Guillaume Melquiond2015-01-29
* Documenting the -color option.Gravatar Pierre-Marie Pédrot2014-11-17
* Documenting use of colors in Coq.Gravatar Pierre-Marie Pédrot2014-11-17
* Documenting option -type-in-type.Gravatar Hugo Herbelin2014-09-29
* Removing remaining documentation of the XML plugin.Gravatar Pierre-Marie Pédrot2014-09-11
* sed -i.toto -e 's/Objective Caml/\{\ocaml\}/g' doc/refman/RefMan-*.texGravatar Pierre Boutillier2014-09-03
* Update RefMan with respect to new loadpath managementGravatar Pierre Boutillier2014-09-03
* Removing documentation related to the deprecated State machinery.Gravatar Pierre-Marie Pédrot2014-08-16
* Making references to Proof General and CoqIDE uniform in Reference Manual.Gravatar Hugo Herbelin2014-08-05
* Deprecate useless option -quality.Gravatar Guillaume Melquiond2014-06-13
* Remove documentation for the unsupported options -byte and -opt.Gravatar Guillaume Melquiond2014-06-13
* Deprecate options -dont, -lazy, -force-load-proofs.Gravatar Guillaume Melquiond2014-06-13
* Small doc fix : module subtyping cannot force access of opaquesGravatar letouzey2013-04-04
* Revised infrastructure for lazy loading of opaque proofsGravatar letouzey2013-04-02
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* RefMan: Environment variables description updateGravatar pboutill2012-03-19
* Coqtop and coqc: cleaning description of options in RefMan and manpages.Gravatar pboutill2012-01-21
* doc: two minor fixes to make my latex happyGravatar letouzey2011-11-28
* /home/pirbo/.coqrc* are read againGravatar pboutill2011-11-21
* -user option removalGravatar pboutill2011-11-21
* coqrc in the right XDG_CONFIG_HOME/coq folderGravatar pboutill2011-11-20
* Add support for XDG_DATA_HOME and XDG_DATA_DIRS.Gravatar pboutill2011-11-20
* Add directories in COQPATH to search path.Gravatar herbelin2011-04-14
* remove old traces of SearchIsos (never ported to 7.x nor 8.x)Gravatar letouzey2011-04-12
* Update documentation concerning proofs loading (cf last commit)Gravatar letouzey2011-04-03
* Some ocamldoc comments + Fixing name of .coqrc.version file in refmanGravatar pboutill2010-05-18
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Fixed some typos in the reference manual.Gravatar gmelquio2009-10-29
* Fix minor spelling errorGravatar glondu2009-08-29
* Lissage de la gestion des chemins de chargement de fichiers :Gravatar herbelin2008-06-29
* doc of coqchk + improved module cache and computation of module setsGravatar barras2008-05-23
* 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
* Documentation machine virtuelleGravatar herbelin2006-07-12
* 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