coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Removing dead code in Compat.	Pierre-Marie Pédrot	2016-05-10
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-09
\|\
\| *	Rename Lexer -> CLexer.	Pierre-Marie Pédrot	2016-05-09
* \|	Removing dead code in Compat.	Pierre-Marie Pédrot	2016-04-25
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-04-24
\|\\|
\| *	A fix to #4666 (Exc_located capsule added by camlp5 overwriting	Hugo Herbelin	2016-04-12
* \|	Fixing bug #4610: Fails to build with camlp4 since the TACTIC EXTEND move.	Pierre-Marie Pédrot	2016-03-06
* \|	Removing the METAIDENT token, as it is not used anymore.	Pierre-Marie Pédrot	2016-02-24
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Fixing non exhaustive pattern-matching in 003fe3d5e60b.	Hugo Herbelin	2015-12-25
* \|	Removing the dependencies of Pcoq in IFDEF macros.	Pierre-Marie Pédrot	2015-10-21
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	Fixing CAMLP4 compilation.	Pierre-Marie Pédrot	2014-12-16
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	Fixing Camlp4 compilation.	ppedrot	2013-06-30
*	Removing Exc_located and using the new exception enrichement	ppedrot	2013-02-18
*	Avoiding collision between Camlp4 Loc.Exc_located and Coq's Loc.Exc_located.	herbelin	2012-12-22
*	Early translation of camlp4/camlp5 located errors into coq-located	herbelin	2012-12-04
*	restore compatibility with camlp5 < 6.00	letouzey	2012-10-06
*	Moved Compat to parsing. This permits to break the dependency of the	ppedrot	2012-10-04