aboutsummaryrefslogtreecommitdiff
path: root/doc/refman/RefMan-oth.tex
AgeCommit message (Expand)Author
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-02-01 14:35:59 +0000