aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/RefMan-oth.tex
Commit message (Expand)AuthorAge
* 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
* "allows to", like "allowing to", is improperGravatar Jason Gross2014-08-25
* Removing documentation related to the deprecated State machinery.Gravatar Pierre-Marie Pédrot2014-08-16
* Documenting the changes of Locate semantics.Gravatar Pierre-Marie Pédrot2014-07-21
* Fixing grammar in doc of Opaque as proposed by Jason (#3389).Gravatar Hugo Herbelin2014-06-21
* Documenting the Print Strategy command.Gravatar Pierre-Marie Pédrot2014-03-20
* Removing the [Require "file"] syntax.Gravatar Pierre-Marie Pédrot2014-02-02
* Fixing typo in reference manual from previous commitGravatar Hugo Herbelin2014-01-13
* Documenting old but useful command "Print Tables".Gravatar Hugo Herbelin2014-01-13
* Renaming SearchAbout into Search and Search into SearchHead.Gravatar herbelin2013-04-17
* Documenting the 'Printing Transparent/All Dependencies' command.Gravatar ppedrot2012-10-30
* Improving rendering of ldots in doc (partially done, there are tooGravatar herbelin2012-08-11
* Document the command Add/Remove Search BlacklistGravatar letouzey2012-08-03
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* Documentation of last commit concerning BacktrackingGravatar letouzey2012-03-23
* Remove old proof-managment commands Suspend/ResumeGravatar letouzey2012-03-23
* Bug 2583: Update of the syntax of terms in the reference manualGravatar pboutill2011-09-01
* remove old traces of SearchIsos (never ported to 7.x nor 8.x)Gravatar letouzey2011-04-12
* An option "Set Default Timeout n."Gravatar letouzey2011-03-17
* SearchAbout: who has never been annoyed by the [ ] syntax ?Gravatar letouzey2010-11-19
* Remove Explain* vernacsGravatar glondu2010-10-06
* Remove VernacGoGravatar glondu2010-10-06
* Added a section in the documentation of Vernacular commands about Set/Unset/T...Gravatar aspiwack2010-09-23
* Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".Gravatar herbelin2010-06-08
* A new command Compute foo, shortcut for Eval vm_compute in fooGravatar letouzey2010-06-04
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Update manual on search commandsGravatar puech2010-03-11
* New command Declare Reduction <id> := <conv_expr>.Gravatar letouzey2010-01-28
* Document Local Declare ML ModuleGravatar glondu2010-01-14
* Documentation of the Local and Global modifiers.Gravatar herbelin2009-10-27
* Add doc for [Print Opaque Dependencies] and a better explanation for theGravatar msozeau2009-06-26
* Backporting 12112 from v8.2 branch to trunk (fixing documentation bugsGravatar herbelin2009-04-28
* RefMan: a label defined twiceGravatar letouzey2009-03-14
* doc et CHANGES pour la commande TimeoutGravatar barras2009-03-04
* - Fixed bug #2021 (uncaught exception with injection/discriminate whenGravatar herbelin2009-01-01
* - Added support for subterm matching in SearchAbout.Gravatar herbelin2008-12-29
* - coq_makefile: target install now respects the original tree structureGravatar herbelin2008-12-24
* Document native "Declare ML Module"Gravatar glondu2008-10-29
* - Export de pattern_ident vers les ARGUMENT EXTEND and co.Gravatar herbelin2008-10-19
* Backporting 11445 from 8.2 to trunk (negative conditions inGravatar herbelin2008-10-11
* Lissage de la gestion des chemins de chargement de fichiers :Gravatar herbelin2008-06-29
* - Documentation de admit et Print Assumptions.Gravatar herbelin2008-06-09
* Strategy commands are now exportedGravatar barras2008-05-22
* refined the conversion oracleGravatar barras2008-05-21
* Bugs, nettoyage, et améliorations diversesGravatar herbelin2008-04-13
* Chgts mineurs:Gravatar herbelin2008-04-03
* Standardisation du format des références croisées vers Figure, Section, Ch...Gravatar herbelin2008-01-05
* Changes in Backtrack documentation. More accurate.Gravatar courtieu2007-09-25
* Added the documentation for Backtrack and BackTo.Gravatar courtieu2007-09-24