aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/RefMan-oth.tex
Commit message (Expand)AuthorAge
* 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
* Mise à jour des paramètres Whelp et ajouts d'options Set Whelp ServerGravatar herbelin2007-08-30
* Made some places in the reference manual clearer. CorrectedGravatar emakarov2007-05-11
* Changed many refman/*.tex files. Put \label and \index commands that immediat...Gravatar emakarov2007-04-17
* Documentation machine virtuelleGravatar herbelin2006-07-12
* Documentation WhelpGravatar herbelin2006-07-06
* 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-11-16 15:02:35 +0000