coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	allow vernacular controls before focus selector, issue #6587	Paul Steckler	2018-01-26
*	Merge PR #6625: Update location on tab switch, issue 6624	Maxime Dénès	2018-01-22
\|\
\| *	update location on tab switch, issue 6624	Paul Steckler	2018-01-19
* \|	add flash infos about wrap, not found, no. of replacements, no. of finds, iss...	Paul Steckler	2018-01-18
\|/
*	Merge PR #6551: Bracket with goal selector	Maxime Dénès	2018-01-16
\|\
* \|	Add interfaces for IDE and remove dead code.	Maxime Dénès	2018-01-10
\| *	Brackets support single numbered goal selectors.	Théo Zimmermann	2018-01-05
\|/
*	Remove query-in-IDE warning.	Maxime Dénès	2017-12-27
*	Separate vernac controls and regular commands.	Maxime Dénès	2017-12-20
*	Merge PR #6261: Use \ocaml macro in Extraction chapter; accept OCaml in Extra...	Maxime Dénès	2017-12-18
\|\
* \	Merge PR #1108: [stm] Reorganize flags	Maxime Dénès	2017-12-13
\|\ \
\| * \|	[flags] [stm] Reorganize flags.	Emilio Jesus Gallego Arias	2017-12-11
\| \| *	use \ocaml macro in Extraction chapter; accept OCaml in Extraction Language	Paul Steckler	2017-12-05
\| \|/
* /	Don't Add LoadPath on CoqIDE startup, #6153	Paul Steckler	2017-12-05
\|/
*	[proof] Attempt to deprecate some V82 parts of the proof API.	Emilio Jesus Gallego Arias	2017-11-19
*	[ci] [coq] Complete 4.06.0 support.	Emilio Jesus Gallego Arias	2017-11-13
*	Little code restructuration in CoqIDE tags.	Hugo Herbelin	2017-10-22
*	An attempt to fix issue #5771 (error color hidden by warning color).	Hugo Herbelin	2017-10-22
*	Remove GeoProof support.	Maxime Dénès	2017-10-11
*	[stm] Switch to a functional API	Emilio Jesus Gallego Arias	2017-10-06
*	[ide] Avoid duplicate error printing (BZ#5583)	Emilio Jesus Gallego Arias	2017-09-29
*	Add XML protocol support for Wait.	Maxime Dénès	2017-09-19
*	Merge PR #1042: Fixing minor typos in stm/coqide	Maxime Dénès	2017-09-15
\|\
\| *	Typo in the header of ide_slave.ml.	Hugo Herbelin	2017-09-11
\| *	Coqide: adding a separating space in some debugging messages.	Hugo Herbelin	2017-09-11
* \|	use get_arguments, String.concat, remove -I	Paul Steckler	2017-09-06
* \|	read flags from project file for Compile Buffer	Paul Steckler	2017-09-05
\|/
*	Fix BZ#5687: Coqtop died badly modal message box from CoqIDE.	Pierre-Marie Pédrot	2017-08-23
*	Set detachable windows type hint to dialog.	Olivier Marty	2017-08-08
*	Merge PR #919: Remove a few useless evar-normalizations in printing code.	Maxime Dénès	2017-08-01
\|\
* \	Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t instead	Maxime Dénès	2017-07-31
\|\ \
* \ \	Merge PR #823: Async off in Windows by default in CoqIDE	Maxime Dénès	2017-07-28
\|\ \ \
\| \| * \|	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
\| \|/ / \|/\| \|
\| \| *	Remove a few useless evar-normalizations in printing code.	Pierre-Marie Pédrot	2017-07-26
\| \|/ \|/\|
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-07-04
\|\ \
* \| \|	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\| \| *	disable async on Windows by default	Paul Steckler	2017-06-26
\| \|/ \|/\|
* \|	[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