coq - The formal proof system

Age	Commit message (Expand)	Author
2013-12-03	Silence some warning about references in documentation.	Guillaume Melquiond
2013-06-04	Start documenting new [rewrite_strat] tactic that applies rewriting	msozeau
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2010-05-19	Remove compile-command pragmas for emacs	letouzey
2009-10-29	Fixed some typos in the reference manual.	gmelquio
2009-10-26	Fix Setoid documentation.	msozeau
2009-01-18	Last changes in type class syntax:	msozeau
2009-01-08	Minor doc fixes:	msozeau
2008-09-14	A pass on documentation:	msozeau
2008-07-09	Documentation fixes.	msozeau
2008-06-03	Fix setoid_rewrite documentation examples.	msozeau
2008-05-12	- Add -unicode flag to coqtop (sets Flags.unicode_syntax). Used to	msozeau
2008-04-15	- Add "Global" modifier for instances inside sections with the usual	msozeau
2008-04-14	Update doc and remove another overloading of equiv_*.	msozeau
2008-04-12	Document the new setoid rewrite tactic, and fix a few things while	msozeau
2007-04-10	Eliminated warning messages from Hevea. Most warning messages were	emakarov
2007-04-04	Corrected a typo in doc/refman/Setoid.tex.	emakarov
2006-08-22	+ Changing "in <hyp>" to "in <clause>" (no at, no InValue and no	jforest
2006-06-09	Commit doc Claudio Sacerdoti	herbelin
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin