coq - The formal proof system

Age	Commit message (Expand)	Author
2016-01-12	Referring to coq.inria.fr/stdlib for more on libraries and ltac-level tactics.	Hugo Herbelin
2015-01-29	Remove spurious "Loading ML file" and "<W> Grammar extension" from the refere...	Guillaume Melquiond
2014-12-09	refman: switch all source files to utf8	Pierre Letouzey
2014-08-25	"allows to", like "allowing to", is improper	Jason Gross
2013-08-08	Manual fixed w.r.t. STM	gareuselesinge
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2011-09-02	Bug 2589: Documentation patch of Hendrik Tews	pboutill
2010-11-02	Move stuff about positive into a distinct PArith subdir	letouzey
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
2010-02-26	Correction du bug #2214 + maj liens web	notin
2009-01-27	- Fixed various Overfull in documentation.	herbelin
2009-01-18	Backporting from v8.2 to trunk:	herbelin
2009-01-01	- Fixed bug #2021 (uncaught exception with injection/discriminate when	herbelin
2008-03-19	migration of the old IntMap library from StdLib to a user contrib (Cachan/Int...	letouzey
2008-01-05	Standardisation du format des références croisées vers Figure, Section, Ch...	herbelin
2007-04-17	Corrected a LaTeX typo.	emakarov
2007-04-17	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov
2006-10-28	MAJ nouvelles théories	herbelin
2006-10-04	Ajout String	herbelin
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