coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Updating headers.	herbelin	2012-08-08
*	Added Add LoadPath in coqdep lexer (but not in coqdep itself by lack of time).	herbelin	2011-10-29
*	avoid dependency nightmare by creating coqdep_{lexer,common}.mli	letouzey	2011-09-18
*	Coqdep_boot : misc improvements	letouzey	2010-09-17
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)	letouzey	2010-03-04
*	Add support for Local Declare ML Module	glondu	2009-09-29
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey	2009-03-20
*	Coqdep: better handling of Declare ML Module (via .mllib) + many cleanups	letouzey	2009-03-14
*	Coqdep: remove references to obsolete .zi and Require Implementation stuff	letouzey	2009-03-14
*	Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m...	notin	2008-03-26
*	Prise en compte du Require multiple	herbelin	2006-04-26
*	Nouvelle en-tête	herbelin	2004-07-16
*	Bug de coqdep qui n'acceptait pas les fichiers DOS (cf Binome.v)	letouzey	2002-11-15
*	gestion coherente de l'option -R et des Require A.B.C.	barras	2002-10-10
*	prise en compte de Load par coqdep	filliatr	2001-08-31
*	bug Print Proof; usage coqtop/coqc	filliatr	2001-04-06
*	entetes	filliatr	2001-03-15
*	outils (manquent encore les deux filtres)	filliatr	1999-12-11