coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Remove some unused values and types	Gaetan Gilbert	2017-04-27
*	Merge PR#552: Miscelaneous commits	Maxime Dénès	2017-04-24
\|\
* \|	Remove VernacError	Gaetan Gilbert	2017-04-21
\| *	refactoring "Ppvernac.pr_extend"	Matej Kosik	2017-04-20
\|/
*	[stm] Remove some obsolete vernacs/classification.	Emilio Jesus Gallego Arias	2017-03-24
*	[pp] Remove unused printing tagging infrastructure.	Emilio Jesus Gallego Arias	2017-03-21
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-12-07
\|\
\| *	Fixing printing of "Set Warnings Append".	Hugo Herbelin	2016-12-02
\| *	Fixing space in printing "Context".	Hugo Herbelin	2016-12-02
\| *	Fixing space in printing several list of implicit arguments.	Hugo Herbelin	2016-12-02
\| *	Fixing printing of "only parsing" in abbreviations.	Hugo Herbelin	2016-12-02
* \|	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
\| *	Lets Hints/Instances take an optional pattern	Matthieu Sozeau	2016-11-03
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-29
\|\\|
\| *	Complete overhaul of the Arguments vernacular.	Maxime Dénès	2016-10-27
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-12
\|\\|
\| *	Fixing a few confusions on the name of the beautify flag.	Hugo Herbelin	2016-10-12
* \|	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
\| \|/
\| *	Merge remote-tracking branch 'github/pr/299' into v8.6	Maxime Dénès	2016-09-30
\| \|\
\| * \|	Fix bug #4798: compat notations should not modify the parser.	Pierre-Marie Pédrot	2016-09-29
\| * \|	Arguments: cleanup + detect discrepancy rename/implicit (#3753)	Enrico Tassi	2016-09-29
\| \| *	Fix bug #4869, allow Prop, Set, and level names in constraints.	Matthieu Sozeau	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
* \|	Unplugging Pptactic from Ppvernac.	Pierre-Marie Pédrot	2016-09-08
* \|	Making Vernacexpr independent from Tacexpr.	Pierre-Marie Pédrot	2016-09-08
\|/
*	Support qualified identifiers in Show Match (bug #5050).	Guillaume Melquiond	2016-08-27
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
*	Extend Hint Mode to handle the no-head-evar case	Matthieu Sozeau	2016-06-16
*	Isolating and exporting a function for printing body of a recursive definition.	Hugo Herbelin	2016-06-16
*	Simplification in ppvernac.ml.	Hugo Herbelin	2016-06-16
*	Removing unused generalization of pr_vernac over pr_constr and pr_lconstr.	Hugo Herbelin	2016-06-16
*	Fixing extra space in printing bullets.	Hugo Herbelin	2016-06-16
*	Fixing space in printing <+ and <: + fixing missing Inline keyword.	Hugo Herbelin	2016-06-16
*	Fixing printing of Instance.	Hugo Herbelin	2016-06-16
*	Fixing extra space in printing abbreviations (SyntaxDefinition).	Hugo Herbelin	2016-06-16
*	Fixing printing of Polymorphic/Monomorphic.	Hugo Herbelin	2016-06-16
*	Fixing printing of Arguments.	Hugo Herbelin	2016-06-16
*	Printing notations as parsed.	Hugo Herbelin	2016-06-16
*	So as to beautify to work, do not use notations in Inductive types	Hugo Herbelin	2016-06-16
*	Adding an only printing flag to notations.	Pierre-Marie Pédrot	2016-06-07
*	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
*	Revert "So as to beautify to work, do not use notations in Inductive types"	Hugo Herbelin	2016-04-27
*	Revert "Printing notations as parsed."	Hugo Herbelin	2016-04-27
*	Revert "Fixing printing of Arguments."	Hugo Herbelin	2016-04-27
*	Revert "Fixing printing of Polymorphic/Monomorphic."	Hugo Herbelin	2016-04-27