coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[toplevel] let toploop_init change Coq options	Enrico Tassi	2018-04-19
*	Merge PR #7096: coqide: avoid marking sentences that are not in the document ...	Pierre-Marie Pédrot	2018-04-12
\|\
* \|	Remove unused script.	Théo Zimmermann	2018-04-05
\| *	coqide: avoid marking sentences that are not in the document anymore	Enrico Tassi	2018-03-28
\|/
*	[vernac] Move `Quit` and `Drop` to the toplevel layer.	Emilio Jesus Gallego Arias	2018-03-11
*	[located] Push inner locations in `reference` to a CAst.t node.	Emilio Jesus Gallego Arias	2018-03-09
*	[located] More work towards using CAst.t	Emilio Jesus Gallego Arias	2018-03-09
*	Merge PR #6923: Export options	Maxime Dénès	2018-03-09
\|\
\| *	Implement the Export Set/Unset feature.	Pierre-Marie Pédrot	2018-03-09
\| *	Export the various option localities in the API.	Pierre-Marie Pédrot	2018-03-09
* \|	coqide: queries from the query window are routed there (fix #5684)	Enrico Tassi	2018-03-08
\|/
*	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\
* \|	[econstr] Continue consolidation of EConstr API under `interp`.	Emilio Jesus Gallego Arias	2018-02-28
\| *	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|/
*	Merge PR #6753: [toplevel] Make toplevel state into a record.	Maxime Dénès	2018-02-19
\|\
* \	Merge PR #6646: Change references to CAMLP4 to CAMLP5 since we no longer use ...	Maxime Dénès	2018-02-19
\|\ \
\| * \|	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle	2018-02-17
\| \| *	[toplevel] Make toplevel state into a record.	Emilio Jesus Gallego Arias	2018-02-15
\| \| *	[ide] Localize a IDE-specific flag.	Emilio Jesus Gallego Arias	2018-02-15
\| \|/ \|/\|
* \|	[toplevel] Refactor command line argument handling.	Emilio Jesus Gallego Arias	2018-02-09
\|/
*	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
\|\