coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \|	Fix bugs and add an option for cumulativity	Amin Timany	2017-06-16
\| *	[proof] Move bullets to their own module.	Emilio Jesus Gallego Arias	2017-06-12
* \|	Remove Show Thesis command which was never implemented.	Théo Zimmermann	2017-06-12
* \|	Remove non-working Show Tree and Show Node commands.	Théo Zimmermann	2017-06-12
* \|	Remove Show Implicit Arguments command.	Théo Zimmermann	2017-06-12
\|/
*	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross	2017-06-02
*	Creating a module Nameops.Name extending module Names.Name.	Hugo Herbelin	2017-05-31
*	Merge branch 'trunk' into located_switch	Emilio Jesus Gallego Arias	2017-05-24
\|\
\| *	[vernac] Remove `Save thm id.` command.	Emilio Jesus Gallego Arias	2017-05-23
\| *	Merge PR#582: Fix warnings	Maxime Dénès	2017-05-02
\| \|\
\| * \	Merge PR#531: Fixing bug #5420 and many similar bugs due to the presence of l...	Maxime Dénès	2017-04-28
\| \|\ \
\| \| \| *	Remove some unused values and types	Gaetan Gilbert	2017-04-27
\| \| \|/ \| \|/\|
* \| \|	[location] [ast] Port module AST to CAst	Emilio Jesus Gallego Arias	2017-04-25
* \| \|	[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] 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
\|/ /
* \|	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
\|/ /
\| *	Removing internal support for accepting "{struct x}" and co in "Theorem with".	Hugo Herbelin	2017-04-09
\|/
*	[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