coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Remove unused constructors	Gaetan Gilbert	2017-04-27
*	Remove some unused values and types	Gaetan Gilbert	2017-04-27
*	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
*	[camlpX] Remove camlp4 compat layer.	Emilio Jesus Gallego Arias	2017-04-07
*	[pp] Remove special tag type and handler from Pp.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list`	Emilio Jesus Gallego Arias	2017-03-21
*	[safe-string] parsing/cLexer	Emilio Jesus Gallego Arias	2017-03-14
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-12-07
\|\
\| *	Fixing lexing of strings in comments for beautifier.	Hugo Herbelin	2016-12-02
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-18
\|\\|
\| *	Removing obsolete parsing of strings à la v7 in comments.	Hugo Herbelin	2016-11-05
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-29
\|\\|
\| *	Merge remote-tracking branch 'github/pr/319' into v8.6	Maxime Dénès	2016-10-28
\| \|\
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-24
\|\\| \|
\| * \|	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
\| \|/
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	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
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-12
\|\\|
\| *	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
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-05
\|\\|
\| *	Revert "Move bullet detection from lexer to parser (bug #5102)."	Guillaume Melquiond	2016-10-05
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-02
\|\\|
\| *	Move bullet detection from lexer to parser (bug #5102).	Guillaume Melquiond	2016-10-02
* \|	Merge PR #244.	Pierre-Marie Pédrot	2016-09-08
\|\ \ \| \|/ \|/\|
* \|	Fix #4941 - ~/.coqrc file confusing locations	Maxime Dénès	2016-08-30
\| *	Unify location handling of error functions.	Emilio Jesus Gallego Arias	2016-08-19
\|/
*	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