aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/RefMan-mod.tex
Commit message (Expand)AuthorAge
* Fix various typos in documentationGravatar Matěj Grabovský2015-03-31
* Preprend Fail to all the expected failures in the documentation.Gravatar Guillaume Melquiond2015-03-05
* Typos in doc modules.Gravatar Hugo Herbelin2015-03-03
* Remove some "Warning:" from the reference manual.Gravatar Guillaume Melquiond2015-01-29
* Fixing #3056Gravatar ppedrot2013-06-06
* Documentation of the "Local Definition" command.Gravatar ppedrot2013-03-11
* Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".Gravatar herbelin2010-06-08
* Documentation of the ! annotation for functor applicationGravatar letouzey2010-02-11
* Include can accept both Module and Module TypeGravatar letouzey2010-01-07
* Description of the new features of the module system (part two).Gravatar soubiran2009-12-15
* Description of the new features of the module system (first part).Gravatar soubiran2009-12-15
* Lissage de la gestion des chemins de chargement de fichiers :Gravatar herbelin2008-06-29
* - Documentation de admit et Print Assumptions.Gravatar herbelin2008-06-09
* Nouvelle doc pour les modules.Gravatar soubiran2008-05-23
* Correction bug 1838 + doc modules.Gravatar soubiran2008-04-21
* Made some places in the reference manual clearer. CorrectedGravatar emakarov2007-05-11
* MAJ du manuel de référence (modules+fixpoints+pose proof)Gravatar notin2006-07-07
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23