coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Simplify coqdep lexer by removing global references.	Guillaume Melquiond	2015-11-30
\|/
*	Fixing bug #4265: coqdep does not handle From ... Require.	Pierre-Marie Pédrot	2015-07-03
*	Removing dead code in coqdep.	Pierre-Marie Pédrot	2015-06-30
*	Update headers.	Maxime Dénès	2015-01-12
*	factored out require_modifiers + bug fix.	Gregory Malecha	2014-08-25
*	coqdep comments counter is in the stack	Pierre Boutillier	2014-08-25
*	a comment about the new state.	Gregory Malecha	2014-08-25
*	Support for Timeout n and From ..	Gregory Malecha	2014-08-25
*	Make coqdep find Require commands prefixed by Time	Gregory Malecha	2014-08-25
*	Declared ML Module are not uncapitalized/capitalized/uncapitalized/...	Pierre Boutillier	2014-01-13
*	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