coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[location] [ast] Switch Constrexpr AST to an extensible node type.	Emilio Jesus Gallego Arias	2017-04-25
*	[location] Make location optional in Loc.located	Emilio Jesus Gallego Arias	2017-04-25
*	[location] Remove Loc.ghost.	Emilio Jesus Gallego Arias	2017-04-25
*	[location] Use located in misctypes.	Emilio Jesus Gallego Arias	2017-04-24
*	[location] Use Loc.located for constr_expr.	Emilio Jesus Gallego Arias	2017-04-24
*	[constrexpr] Make patterns use Loc.located for location information	Emilio Jesus Gallego Arias	2017-04-24
*	Remove VernacError	Gaetan Gilbert	2017-04-21
*	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
*	"Standardizing" the name LocalPatten into LocalRawPattern.	Hugo Herbelin	2017-03-24
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-05
\|\
* \	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-02
\|\ \
\| \| *	Add command 'Set foo Append "bar"' for appending to an option (bug #5109).	Guillaume Melquiond	2016-10-01
\| \|/
\| *	Fix bug #4798: compat notations should not modify the parser.	Pierre-Marie Pédrot	2016-09-29
* \|	Revert "Merge remote-tracking branch 'github/pr/283' into trunk"	Maxime Dénès	2016-09-22
* \|	Stylistic improvements in intf/decl_kinds.mli.	Maxime Dénès	2016-09-20
* \|	Removing the last uses of Pptactic in the lower layers.	Pierre-Marie Pédrot	2016-09-09
* \|	Making Vernacexpr independent from Tacexpr.	Pierre-Marie Pédrot	2016-09-08
\|/
*	Adding ability to put any pattern in binders, prefixed by a quote.	Daniel de Rauglaudre	2016-06-27
*	Adding an only printing flag to notations.	Pierre-Marie Pédrot	2016-06-07
*	Move serialization functions out of Stm	Emilio Jesus Gallego Arias	2016-06-02