coq - The formal proof system

Age	Commit message (Expand)	Author
2009-09-11	Add doc of [Context] vernacular.	msozeau
2009-01-27	- Fixed various Overfull in documentation.	herbelin
2009-01-18	Backporting from v8.2 to trunk:	herbelin
2008-11-22	- Fixed minor bug #1994 in the tactic chapter of the manual [doc]	herbelin
2008-04-25	Ajout de "Theorem id1 : t1 ... with idn : tn" pour partager la preuve	herbelin
2008-01-05	Standardisation du format des références croisées vers Figure, Section, Ch...	herbelin
2007-07-07	If a fixpoint is not written with an explicit { struct ... }, then	letouzey
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