coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[location] Remove Loc.ghost.	Emilio Jesus Gallego Arias	2017-04-25
*	[location] Use located in tactics.	Emilio Jesus Gallego Arias	2017-04-24
*	[location] Use located in misctypes.	Emilio Jesus Gallego Arias	2017-04-24
*	[location] More located use.	Emilio Jesus Gallego Arias	2017-04-24
*	[location] Switch glob_constr to Loc.located	Emilio Jesus Gallego Arias	2017-04-24
*	[location] Move Glob_term.predicate_pattern to located.	Emilio Jesus Gallego Arias	2017-04-24
*	[location] Move Glob_term.cases_pattern to located.	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
*	Merge PR#579: [flags] Deprecate is_silent/is_verbose in favor of single flag.	Maxime Dénès	2017-04-24
\|\
* \	Merge PR#574: Fix bug #5476: Ltac has an inconsistent view of hypotheses.	Maxime Dénès	2017-04-24
\|\ \
* \ \	Merge PR#552: Miscelaneous commits	Maxime Dénès	2017-04-24
\|\ \ \
* \ \ \	Merge PR#569: Documenting EConstr for developpers.	Maxime Dénès	2017-04-24
\|\ \ \ \
* \ \ \ \	Merge PR#565: Remove VernacError	Maxime Dénès	2017-04-24
\|\ \ \ \ \
* \ \ \ \ \	Merge PR#580: [ide] Fix #5482 "location for query commands" in IDE.	Maxime Dénès	2017-04-24
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR#581: [toplevel] [emacs] Don't quote errors in emacs mode.	Maxime Dénès	2017-04-24
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR#492: [travis] Pin camlp5 to the minimal version 6.14 for 4.02.3	Maxime Dénès	2017-04-24
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR#576: [ide] Rely less on `Stateid.dummy`	Maxime Dénès	2017-04-24
\|\ \ \ \ \ \ \ \ \
\| \| * \| \| \| \| \| \| \|	[travis] Pin camlp5 to the minimal version 6.14 for 4.02.3	Emilio Jesus Gallego Arias	2017-04-24
\| \| \| * \| \| \| \| \| \|	[toplevel] [emacs] Don't quote errors in emacs mode.	Emilio Jesus Gallego Arias	2017-04-23
\| \| \|/ / / / / / /
* \| \| \| \| \| \| \| \|	Merge branch v8.6 into trunk	Hugo Herbelin	2017-04-22
\|\ \ \ \ \ \ \ \ \
* \| \| \| \| \| \| \| \| \|	Removing TODO file which is unused for more than 10 years.	Hugo Herbelin	2017-04-22
\| \|_\|/ / / / / / / \|/\| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \|	[ide] Fix #5482 "location for query commands" in IDE.	Emilio Jesus Gallego Arias	2017-04-21
\| \|_\|/ / / / / / \|/\| \| \| \| \| \| \|
\| \| \| * \| \| \| \|	Remove VernacError	Gaetan Gilbert	2017-04-21
\| \|_\|/ / / / / \|/\| \| \| \| \| \|
\| \| \| \| \| \| *	[flags] Deprecate is_silent/is_verbose in favor of single flag.	Emilio Jesus Gallego Arias	2017-04-21
\| \| \| \| * \| \|	COMMENT: Pre_env.env	Matej Kosik	2017-04-20
\| \| \| \| * \| \|	COMMENT: Proof_global.pstate.pid	Matej Kosik	2017-04-20
\| \| \| \| * \| \|	refactoring "Ppvernac.pr_extend"	Matej Kosik	2017-04-20
\| \| \| \| * \| \|	correcting a typo in a comment	Matej Kosik	2017-04-20
\| \| \| \| * \| \|	correcting comments in the "Context" module	Matej Kosik	2017-04-20
\| \| \| \| * \| \|	"tclENV" is sexier, use it instead of "Env.get"	Matej Kosik	2017-04-20
\| \| \| \| * \| \|	reduce syntactic noise	Matej Kosik	2017-04-20
\| \| \| \| * \| \|	simplifying "Environ.push_named" function	Matej Kosik	2017-04-20
\| \| \| \| * \| \|	refactoring "Names.DirPath.is_empty" function	Matej Kosik	2017-04-20
\| \| \| \| * \| \|	refactoring "Names.DirPath.compare" function	Matej Kosik	2017-04-20
\| \| \| \| * \| \|	refactoring "Names.DirPath.equal" function	Matej Kosik	2017-04-20
\| \| \| \| * \| \|	correcting a typo in a comment	Matej Kosik	2017-04-20
\| \|_\|_\|/ / / \|/\| \| \| \| \|
\| \| * \| \| \|	[ide] Set Stateid in query pane.	Emilio Jesus Gallego Arias	2017-04-20
\| \| * \| \| \|	[ide] Rely less on `Stateid.dummy`	Emilio Jesus Gallego Arias	2017-04-19
\| \| \| \|_\|/ \| \| \|/\| \|
\| \| \| * \|	Documenting EConstr for developpers.	Pierre-Marie Pédrot	2017-04-19
\| \| \|/ /
\| \| \| *	Fix bug #5476: Ltac has an inconsistent view of hypotheses.	Pierre-Marie Pédrot	2017-04-19
\| \|_\|/ \|/\| \|
* \| \|	Merge PR#573: [toplevel] Fix printing of parsing errors + corner case.	Maxime Dénès	2017-04-19
\|\ \ \
* \| \| \|	CHANGES entry for #545.	Maxime Dénès	2017-04-19
* \| \| \|	Merge PR#545: Add some hints to the "real" database to automatically discharg...	Maxime Dénès	2017-04-19
\|\ \ \ \
\| \| \| * \	Merge PR#538: Correction of bug #4306	Maxime Dénès	2017-04-19
\| \| \| \|\ \
* \| \| \| \ \	Merge PR#570: Adding and fixing links in README.	Maxime Dénès	2017-04-19
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR#571: [toplevel] Fix #5475	Maxime Dénès	2017-04-19
\|\ \ \ \ \ \ \ \| \|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \|
\| \| \| \| * \| \|	[toplevel] Fix printing of parsing errors + corner case.	Emilio Jesus Gallego Arias	2017-04-19
\| \|_\|_\|/ / / \|/\| \| \| \| \|
\| * \| \| \| \|	[toplevel] Fix #5475	Emilio Jesus Gallego Arias	2017-04-18
\|/ / / / /
\| * / / /	Adding and fixing links in README.	Théo Zimmermann	2017-04-18
\|/ / / /