coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey	2014-12-09
*	Better fix to bug #2183 ("moduleid" internal name got exposed to users	herbelin	2010-12-04
*	Misc fixes.	msozeau	2009-11-06
*	Integrate a few improvements on typeclasses and Program from the equations br...	msozeau	2009-10-28
*	- Tentatively made order-dependency wrt .vo files a full dependency	herbelin	2009-09-15
*	Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino,	msozeau	2009-09-04
*	Fix coqdoc bugs reported by Ian Lynagh.	msozeau	2009-03-24
*	- Better deal with commands inside section titles in latex output using	msozeau	2009-01-21
*	Minor fixes:	msozeau	2008-11-05
*	Stop using a coqdocdoc env which prevents use of environments inside	msozeau	2008-10-26
*	Various coqdoc improvements:	msozeau	2008-10-22
*	Correction d'un problème lié à une interaction entre hyperref et	notin	2008-06-12
*	Enhancements to coqdoc, better globalization of sections and modules.	msozeau	2008-06-06
*	Fix setoid_rewrite documentation examples.	msozeau	2008-06-03
*	Improvements on coqdoc by adding more information into .glob	msozeau	2008-05-30
*	Mise en forme des theories	notin	2006-10-17
*	erreur coqdoc + headsep	mohring	2005-10-20
*	* empty log message *	filliatr	2004-02-24