coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR#417: No cast surgery in let in	Maxime Dénès	2017-04-03
\|\
* \|	[stm] Remove some obsolete vernacs/classification.	Emilio Jesus Gallego Arias	2017-03-24
\| *	Applying same convention as in Definition for parsing type in a let in.	Hugo Herbelin	2017-03-24
\| *	Replacing "cast surgery" in LetIn by a proper field (see PR #404).	Hugo Herbelin	2017-03-24
\| *	Unifying standard "constr_level" names for constructors of local_binder_expr.	Hugo Herbelin	2017-03-24
\| *	Renaming local_binder into local_binder_expr.	Hugo Herbelin	2017-03-24
\| *	"Standardizing" the name LocalPatten into LocalRawPattern.	Hugo Herbelin	2017-03-24
\|/
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-03-22
\|\
* \|	[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
\| *	don't require printing-only notation to be productive	Ralf Jung	2017-02-16
* \|	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-30
\|\\|
\| *	Fix #5174: Underinformative syntax error messages in the new arguments syntax	Maxime Dénès	2016-11-30
\| *	Fix some documentation typos.	Guillaume Melquiond	2016-11-24
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-18
\|\\|
\| *	Revert "Merge remote-tracking branch 'github/pr/360' into v8.6"	Maxime Dénès	2016-11-18
\| *	[stm] Remove STM-related vernaculars	Emilio Jesus Gallego Arias	2016-11-17
\| *	Merge remote-tracking branch 'github/pr/339' into v8.6	Maxime Dénès	2016-11-07
\| \|\
\| * \|	Removing obsolete parsing of strings à la v7 in comments.	Hugo Herbelin	2016-11-05
\| * \|	Merge remote-tracking branch 'github/pr/340' into v8.6	Maxime Dénès	2016-11-03
\| \|\ \
\| \| \| *	Lets Hints/Instances take an optional pattern	Matthieu Sozeau	2016-11-03
\| * \| \|	Better Arguments compatibility.	Maxime Dénès	2016-11-02
\| \| \|/ \| \|/\|
\| \| *	Fix various shortcomings of the warnings infrastructure.	Maxime Dénès	2016-11-02
\| \|/
* \|	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 remote-tracking branch 'github/pr/337' into v8.6	Maxime Dénès	2016-10-28
\| \|\ \
\| \| * \|	Complete overhaul of the Arguments vernacular.	Maxime Dénès	2016-10-27
* \| \| \|	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
\| * \|	Fix compilation with camlp4 broken in 8a8caba3.	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-08
\|\\|
\| *	Fix bug #5098: Symmetry broken in HoTT.	Pierre-Marie Pédrot	2016-10-08
\| *	Do not add "Append" as a lexer keyword.	Pierre-Marie Pédrot	2016-10-06
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-05
\|\\|
\| *	Fix incorrect token description for bullets.	Guillaume Melquiond	2016-10-05