coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\
* \|	[toplevel] Move beautify to its own pass.	Emilio Jesus Gallego Arias	2018-02-28
\| *	Update headers following #6543.	Théo Zimmermann	2018-02-27
* \|	Rename release_lexer_state to the more descriptive get_lexer_state.	Jim Fehrle	2018-02-22
\|/
*	Using an algebraic type for distinguishing toplevel input from location in file.	Hugo Herbelin	2017-09-14
*	[flags] Remove XML output flag.	Emilio Jesus Gallego Arias	2017-08-01
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	[camlpX] Remove camlp4 compat layer.	Emilio Jesus Gallego Arias	2017-04-07
*	Adding a primitive to recover the set of keywords from the lexer.	Pierre-Marie Pédrot	2016-10-21
*	More on making the lexer more functional (continuing b8ae2de5 and	Hugo Herbelin	2016-10-17
*	Removing export of location_table outside of cLexer.	Hugo Herbelin	2016-10-17
*	Moving Pp.comments to CLexer so that Pp is purer (no more side-effect	Hugo Herbelin	2016-10-09
*	Attaching all extra imperative components of the lexer/parser state to	Hugo Herbelin	2016-10-09
*	Fix #4941 - ~/.coqrc file confusing locations	Maxime Dénès	2016-08-30
*	Add file name, line number and beginning of line position to locations.	Maxime Dénès	2016-06-20
*	Rename Lexer -> CLexer.	Pierre-Marie Pédrot	2016-05-09