coq - the Coq proof assistant

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