coq - The formal proof system

Age	Commit message (Expand)	Author
2007-04-17	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov
2007-04-10	Eliminated warning messages from Hevea. Most warning messages were	emakarov
2007-02-07	Relecture/nettoyage chapitre Gallina; déplacement section Function	herbelin
2006-09-07	Updating the doc about Function and co	courtieu
2006-07-17	MAJ	jforest
2006-07-11	MAJ doc/refman	notin
2006-07-07	MAJ du manuel de référence (modules+fixpoints+pose proof)	notin
2006-07-05	Précisions sur l'Unicode reconnu; typo; ajout Example, Proposition, Corollary.	herbelin
2006-07-04	Documentation or-pattern	herbelin
2006-06-07	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-06	Ajout de précisions dans la doc de functional scheme et consort +	courtieu
2006-06-05	nouveaux parametres	cpaulin
2006-05-17	updating Function documentation	jforest
2006-04-28	Continue l'écriture de la doc de "Function". Pas fini, manque:	courtieu
2006-04-27	Added a short doc for "Function". To be finished.	courtieu
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin