aboutsummaryrefslogtreecommitdiff
path: root/doc/refman/RefMan-oth.tex
AgeCommit message (Expand)Author
2012-07-05ZArith + other : favor the use of modern names instead of compat notationsletouzey
2012-03-23Documentation of last commit concerning Backtrackingletouzey
2012-03-23Remove old proof-managment commands Suspend/Resumeletouzey
2011-09-01Bug 2583: Update of the syntax of terms in the reference manualpboutill
2011-04-12remove old traces of SearchIsos (never ported to 7.x nor 8.x)letouzey
2011-03-17An option "Set Default Timeout n."letouzey
2010-11-19SearchAbout: who has never been annoyed by the [ ] syntax ?letouzey
2010-10-06Remove Explain* vernacsglondu
2010-10-06Remove VernacGoglondu
2010-09-23Added a section in the documentation of Vernacular commands about Set/Unset/T...aspiwack
2010-06-08Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".herbelin
2010-06-04A new command Compute foo, shortcut for Eval vm_compute in fooletouzey
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-03-11Update manual on search commandspuech
2010-01-28New command Declare Reduction <id> := <conv_expr>.letouzey
2010-01-14Document Local Declare ML Moduleglondu
2009-10-27Documentation of the Local and Global modifiers.herbelin
2009-06-26Add doc for [Print Opaque Dependencies] and a better explanation for themsozeau
2009-04-28Backporting 12112 from v8.2 branch to trunk (fixing documentation bugsherbelin
2009-03-14RefMan: a label defined twiceletouzey
2009-03-04doc et CHANGES pour la commande Timeoutbarras
2009-01-01- Fixed bug #2021 (uncaught exception with injection/discriminate whenherbelin
2008-12-29- Added support for subterm matching in SearchAbout.herbelin
2008-12-24- coq_makefile: target install now respects the original tree structureherbelin
2008-10-29Document native "Declare ML Module"glondu
2008-10-19- Export de pattern_ident vers les ARGUMENT EXTEND and co.herbelin
2008-10-11Backporting 11445 from 8.2 to trunk (negative conditions inherbelin
2008-06-29Lissage de la gestion des chemins de chargement de fichiers :herbelin
2008-06-09- Documentation de admit et Print Assumptions.herbelin
2008-05-22Strategy commands are now exportedbarras
2008-05-21refined the conversion oraclebarras
2008-04-13Bugs, nettoyage, et améliorations diversesherbelin
2008-04-03Chgts mineurs:herbelin
2008-01-05Standardisation du format des références croisées vers Figure, Section, Ch...herbelin
2007-09-25Changes in Backtrack documentation. More accurate.courtieu
2007-09-24Added the documentation for Backtrack and BackTo.courtieu
2007-08-30Mise à jour des paramètres Whelp et ajouts d'options Set Whelp Serverherbelin
2007-05-11Made some places in the reference manual clearer. Correctedemakarov
2007-04-17Changed many refman/*.tex files. Put \label and \index commands that immediat...emakarov
2006-07-12Documentation machine virtuelleherbelin
2006-07-06Documentation Whelpherbelin
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-01-31 18:50:47 +0000