coq - The formal proof system

Age	Commit message (Expand)	Author
2013-12-03	Silence some warning about references in documentation.	Guillaume Melquiond
2013-03-25	Typo in refman (fix #2962)	letouzey
2013-03-11	Allowing (Co)Fixpoint to be defined local and Let-style.	ppedrot
2013-03-11	Documentation of the "Local Definition" command.	ppedrot
2012-08-11	Improving rendering of ldots in doc (partially done, there are too	herbelin
2012-08-11	Improving rendering of ...-separated lists and sequences in reference	herbelin
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2012-04-13	Uniformisation in the documentation: remove the use of 'coinductive' in	aspiwack
2012-02-29	RefMan update about match syntax.	pboutill
2012-02-01	Corrected a careless cut-and-paste in Gallina description which dated back to...	ppedrot
2011-10-07	Remove 'status' of Program and explain the :> better, as well as referencing ...	msozeau
2011-09-01	Bug 2583: Update of the syntax of terms in the reference manual	pboutill
2010-06-08	Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
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