index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
refman
/
RefMan-mod.tex
Age
Commit message (
Expand
)
Author
2015-03-31
Fix various typos in documentation
Matěj Grabovský
2015-03-05
Preprend Fail to all the expected failures in the documentation.
Guillaume Melquiond
2015-03-03
Typos in doc modules.
Hugo Herbelin
2015-01-29
Remove some "Warning:" from the reference manual.
Guillaume Melquiond
2013-06-06
Fixing #3056
ppedrot
2013-03-11
Documentation of the "Local Definition" command.
ppedrot
2010-06-08
Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".
herbelin
2010-02-11
Documentation of the ! annotation for functor application
letouzey
2010-01-07
Include can accept both Module and Module Type
letouzey
2009-12-15
Description of the new features of the module system (part two).
soubiran
2009-12-15
Description of the new features of the module system (first part).
soubiran
2008-06-29
Lissage de la gestion des chemins de chargement de fichiers :
herbelin
2008-06-09
- Documentation de admit et Print Assumptions.
herbelin
2008-05-23
Nouvelle doc pour les modules.
soubiran
2008-04-21
Correction bug 1838 + doc modules.
soubiran
2007-05-11
Made some places in the reference manual clearer. Corrected
emakarov
2006-07-07
MAJ du manuel de référence (modules+fixpoints+pose proof)
notin
2006-02-23
Nettoyage de l'archive doc et restructuration avant intégration à l'archive
herbelin
