coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fixing lexing of strings in comments for beautifier.	Hugo Herbelin	2016-12-02
*	Removing obsolete parsing of strings à la v7 in comments.	Hugo Herbelin	2016-11-05
*	Merge remote-tracking branch 'github/pr/319' into v8.6	Maxime Dénès	2016-10-28
\|\
* \|	Merge branch 'v8.5' into v8.6	Hugo Herbelin	2016-10-24
* \|	Adding a primitive to recover the set of keywords from the lexer.	Pierre-Marie Pédrot	2016-10-21
\| *	[pp] Add tagging function to all low-level printing calls.	Emilio Jesus Gallego Arias	2016-10-18
\|/
*	Extra warning about unicode character of unknown status following an ident.	Hugo Herbelin	2016-10-17
*	Fixing a few other inconsistencies with notations.	Hugo Herbelin	2016-10-17
*	Stopping warning on unrecognized unicode character in notation (fixing #5136).	Hugo Herbelin	2016-10-17
*	[toplevel] Remove duplicate beautify flags.	Emilio Jesus Gallego Arias	2016-10-17
*	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
*	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
*	Fix #4941 - ~/.coqrc file confusing locations	Maxime Dénès	2016-08-30
*	Remove lexing of ordinal notations.	Maxime Dénès	2016-07-03
*	A new infrastructure for warnings.	Maxime Dénès	2016-06-29
*	Add file name, line number and beginning of line position to locations.	Maxime Dénès	2016-06-20
*	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-09
*	Rename Lexer -> CLexer.	Pierre-Marie Pédrot	2016-05-09