aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/RefMan-ext.tex
Commit message (Expand)AuthorAge
* Correction in Function documentationGravatar jforest2010-05-06
* Applying François Garillot's patch (#2261 in bug tracker) for extendedGravatar herbelin2010-04-22
* Document Generalizable Variables, and change syntax to Gravatar msozeau2009-11-15
* Fixed record syntax "{|x=...; y=...|}" so that it works with qualified names.Gravatar gmelquio2009-11-04
* Fixed some typos in the reference manual.Gravatar gmelquio2009-10-29
* - Fixed various Overfull in documentation.Gravatar herbelin2009-01-27
* Last changes in type class syntax: Gravatar msozeau2009-01-18
* - Standardized prefix use of "Local"/"Global" modifiers as decided inGravatar herbelin2009-01-13
* Lissage de la gestion des chemins de chargement de fichiers :Gravatar herbelin2008-06-29
* Modif un peu gadget (??): on peut écrire "set (f n:=t)" pour Gravatar herbelin2008-04-26
* - Un peu de doc, préparation du CHANGES pour la release.Gravatar herbelin2008-04-15
* Fix examples in Program documentation and add comindexes for the variousGravatar msozeau2008-03-23
* Fix the clrewrite tactic, change Relations.v to work on relations in PropGravatar msozeau2008-02-09
* Documentation of CHANGES and refman doc for the implicit argument binderGravatar msozeau2008-02-08
* - Documentation des nouvelles options d'implicites (Set Strongly StrictGravatar herbelin2008-02-06
* Unification de TacLetRecIn et TacLetIn. En particulier, on peutGravatar herbelin2008-02-01
* Finish let| implementation and document itGravatar msozeau2008-01-31
* Standardisation du format des références croisées vers Figure, Section, Ch...Gravatar herbelin2008-01-05
* Ajout possibilité d'options à trois mots.Gravatar herbelin2007-04-29
* Fixed some typos.Gravatar glondu2007-04-18
* Changed many refman/*.tex files. Put \label and \index commands that immediat...Gravatar emakarov2007-04-17
* Cleaned doc/common/title.tex file. Increased the space under headersGravatar emakarov2007-04-12
* Meilleur anglais (cf 9619)Gravatar herbelin2007-02-07
* Relecture/nettoyage chapitre Gallina; déplacement section FunctionGravatar herbelin2007-02-07
* Documentation de "Set Printing Universes", "Print Universes" (anciennementGravatar herbelin2006-10-28
* Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé...Gravatar herbelin2006-07-07
* Documentation or-patternGravatar herbelin2006-07-04
* 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-07-04 17:26:57 +0000