coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-07-04
\|\
* \|	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
* \|	[ide] Correct more merging errors.	Emilio Jesus Gallego Arias	2017-06-21
\| *	Default colors for CoqIDE are actually applied.	Cyprien Mangin	2017-06-20
* \|	Merge PR#774: [ide] Add route_id parameter to query call.	Maxime Dénès	2017-06-20
\|\ \
* \ \	Merge PR#795: [ide] Better exn printing. [fixes BZ#5524]	Maxime Dénès	2017-06-19
\|\ \ \
\| \| \| *	Change CoqIDE-specific to neutral wording	Paul Steckler	2017-06-19
\| \| * \|	[ide] Add route_id parameter to query call.	Emilio Jesus Gallego Arias	2017-06-18
\| * \| \|	[ide] Better exn printing. [fixes BZ#5524]	Emilio Jesus Gallego Arias	2017-06-18
\| \|/ /
* / /	Fix bugs and add an option for cumulativity	Amin Timany	2017-06-16
\|/ /
* \|	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross	2017-06-02
\| *	Bump year in headers.	Maxime Dénès	2017-06-01
* \|	[ide] Correct merging error.	Emilio Jesus Gallego Arias	2017-05-30
* \|	Merge PR#356: Making management of installation directories more structured, ...	Maxime Dénès	2017-05-30
\|\ \
\| * \|	Relying on computation done in Envars to discover the installation directories.	Hugo Herbelin	2017-05-29
\| * \|	Configuration: always giving a value to configdir and datadir.	Hugo Herbelin	2017-05-29
* \| \|	Fail on deprecated warning even for Ocaml > 4.02.3	Gaëtan Gilbert	2017-05-28
\|/ /
* \|	Merge PR#481: [option] Remove support for non-synchronous options.	Maxime Dénès	2017-05-25
\|\ \
* \ \	Merge PR#406: coq makefile2	Maxime Dénès	2017-05-25
\|\ \ \
* \ \ \	Merge branch 'trunk' into located_switch	Emilio Jesus Gallego Arias	2017-05-24
\|\ \ \ \
\| \| \| * \|	[option] Remove support for non-synchronous options.	Emilio Jesus Gallego Arias	2017-05-24
\| \| * \| \|	CoqProject_file: API and code cleanup (tuples -> records)	Enrico Tassi	2017-05-23
\| \| * \| \|	ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mli	Enrico Tassi	2017-05-23
\| \| * \| \|	ide/project_fie.ml4: include standard banner with copyright	Enrico Tassi	2017-05-23
\| \| \|/ /
\| * / /	[vernac] Remove `Save.` command.	Emilio Jesus Gallego Arias	2017-05-23
\| \|/ /
\| * \|	[ide] Disable `print_ast` call.	Emilio Jesus Gallego Arias	2017-05-18
\| * \|	labelizing arguments	Pierre Courtieu	2017-05-04
\| * \|	Adding an option "Printing Unfocused".	Pierre Courtieu	2017-05-04
\| * \|	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 uses of [Flags.make_silent]	Gaetan Gilbert	2017-04-27
\| \| \| * \|	Warning 29: non escaped end of line may be non portable	Gaetan Gilbert	2017-04-27
\| \| \| * \|	Remove some unused values and types	Gaetan Gilbert	2017-04-27
\| \| \| * \|	Use [method!] to override methods (warning 7)	Gaetan Gilbert	2017-04-27
\| \| \| * \|	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
\| \| \|/ / \| \|/\| \|
* \| \| \|	[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
\|/ / /
* \| \|	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
\|\ \ \ \
\| * \| \| \|	[ide] Fix #5482 "location for query commands" in IDE.	Emilio Jesus Gallego Arias	2017-04-21
\| \| * \| \|	Remove VernacError	Gaetan Gilbert	2017-04-21
\| \|/ / /
* \| \| \|	[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
\|/ / /
* \| \|	Merge PR#441: Port Toplevel to the Stm API	Maxime Dénès	2017-04-12
\|\ \ \
\| * \| \|	[vernac] vernacentries.mli cleanup	Emilio Jesus Gallego Arias	2017-04-12
\| * \| \|	[stm] Port the toplevel to the STM.	Emilio Jesus Gallego Arias	2017-04-12