coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle	2018-02-17
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Fix incorrect token description for bullets.	Guillaume Melquiond	2016-10-05
*	Revert "Move bullet detection from lexer to parser (bug #5102)."	Guillaume Melquiond	2016-10-05
*	Move bullet detection from lexer to parser (bug #5102).	Guillaume Melquiond	2016-10-02
*	Remove lexing of ordinal notations.	Maxime Dénès	2016-07-03
*	Further reducing the dependencies of the EXTEND macros.	Pierre-Marie Pédrot	2016-03-19
*	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
* \|	Adding a token "index" representing positions (1st, 2nd, etc.).	Hugo Herbelin	2015-12-15
\|/
*	Fixing the "parsing rules with idents later declared as keywords" problem.	Hugo Herbelin	2015-11-26
*	Update headers.	Maxime Dénès	2015-01-12
*	Uncountably many bullets (+,-,,++,--,*,+++,...).	Hugo Herbelin	2014-08-05
*	Removing some generic equalities.	ppedrot	2013-10-22
*	Revert "KEYID token makes parsing more robust in face of notations"	gareuselesinge	2013-06-21
*	KEYID token makes parsing more robust in face of notations	gareuselesinge	2013-06-19
*	Updating headers.	herbelin	2012-08-08
*	Partial revert of r15148 in order to compile with Camlp4	pboutill	2012-04-27
*	Remove print call that do not use the pp mechanism	pboutill	2012-04-12
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	New script dev/tools/change-header to automatically update Coq files headers.	herbelin	2010-06-22
*	Nicer representation of tokens, more independant of camlp*	letouzey	2010-05-19