index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
refman
/
RefMan-gal.tex
Commit message (
Expand
)
Author
Age
*
Updating the doc about Function and co
courtieu
2006-09-07
*
MAJ
jforest
2006-07-17
*
MAJ doc/refman
notin
2006-07-11
*
MAJ du manuel de référence (modules+fixpoints+pose proof)
notin
2006-07-07
*
Précisions sur l'Unicode reconnu; typo; ajout Example, Proposition, Corollary.
herbelin
2006-07-05
*
Documentation or-pattern
herbelin
2006-07-04
*
petites corrections dans la doc de functional xxx.
courtieu
2006-06-07
*
mise en texttt d'une commande.
courtieu
2006-06-07
*
Changements sur Functional xxx. Plus précis et plus exact.
courtieu
2006-06-07
*
Ajout de précisions dans la doc de functional scheme et consort +
courtieu
2006-06-06
*
nouveaux parametres
cpaulin
2006-06-05
*
updating Function documentation
jforest
2006-05-17
*
Continue l'écriture de la doc de "Function". Pas fini, manque:
courtieu
2006-04-28
*
Added a short doc for "Function". To be finished.
courtieu
2006-04-27
*
Nettoyage de l'archive doc et restructuration avant intégration à l'archive
herbelin
2006-02-23