coq - The formal proof system

Age	Commit message (Expand)	Author
2018-04-16	Remove LaTeX refman, now that migration to Sphinx is complete	Maxime Dénès
2016-08-23	update Proof General URL	Paul Steckler
2015-12-10	RefMan, ch. 4: Rephrasing and moving paragraph on the double reading	Hugo Herbelin
2015-12-10	RefMan, ch. 4: Reformulating introduction of the chapter on CIC, being	Hugo Herbelin
2015-01-08	Document native_compute.	Maxime Dénès
2014-12-09	refman: switch all source files to utf8	Pierre Letouzey
2013-11-29	First stab at documenting Canonical Structures	Enrico Tassi
2013-06-04	Start documenting new [rewrite_strat] tactic that applies rewriting	msozeau
2011-12-22	Credits for 8.4 + resetting COMPATIBILITY file.	herbelin
2010-06-25	modifs de nsatz suggerees par Hugo	pottier
2009-01-18	Backporting from v8.2 to trunk:	herbelin
2008-07-07	Micromega: doc + test-suite update	fbesson
2008-04-17	Add almost empty Classes.tex for documentation of type classes.	msozeau
2008-01-31	Debug implementation of dependent induction/dependent destruction and documen...	msozeau
2007-07-19	Documentation of Program and its tactics, fix enormous interaction bug due to...	msozeau
2007-07-05	documentation of f_equal and revert and case_eq (and s/lri.fr/pps.jussieu.fr/...	letouzey
2007-04-12	Standardisation format biblio	herbelin
2006-08-28	Ajout thèse Cornes	herbelin
2006-08-24	MAJ biblio	herbelin
2006-07-28	MAJ de la biblio du manuel de référence	notin
2006-06-01	Update Program/subtac documentation.	msozeau
2006-02-24	Modification des propriétés des fichiers .tex (svn:executable)	notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin