coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[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
*	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
*	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
\|/
*	[toplevel] Make toplevel state into a record.	Emilio Jesus Gallego Arias	2018-02-15
*	[toplevel] Refactor command line argument handling.	Emilio Jesus Gallego Arias	2018-02-09
*	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 #1108: [stm] Reorganize flags	Maxime Dénès	2017-12-13
\|\
\| *	[flags] [stm] Reorganize flags.	Emilio Jesus Gallego Arias	2017-12-11
* \|	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
*	[stm] Switch to a functional API	Emilio Jesus Gallego Arias	2017-10-06
*	Add XML protocol support for Wait.	Maxime Dénès	2017-09-19
*	Typo in the header of ide_slave.ml.	Hugo Herbelin	2017-09-11
*	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
* \|	Merge PR#774: [ide] Add route_id parameter to query call.	Maxime Dénès	2017-06-20
\|\ \
\| \| *	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
\|/ /
* \|	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross	2017-06-02
* \|	Merge PR#481: [option] Remove support for non-synchronous options.	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
\| \|/ /
\| * \|	[ide] Disable `print_ast` call.	Emilio Jesus Gallego Arias	2017-05-18
\| * \|	Adding an option "Printing Unfocused".	Pierre Courtieu	2017-05-04
\| * \|	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
\| * \|	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
* \| \|	[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
\|/ /
* \|	[ide] Fix #5482 "location for query commands" in IDE.	Emilio Jesus Gallego Arias	2017-04-21
* \|	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
\| * \|	[stm] Move main parsing entry point to the STM.	Emilio Jesus Gallego Arias	2017-04-12
\| * \|	[stm] Remove edit_id.	Emilio Jesus Gallego Arias	2017-04-12
* \| \|	Merge branch 'trunk' into pr379	Maxime Dénès	2017-03-24
\|\\| \|
\| * \|	make check not CoqIDE-specific	Paul Steckler	2017-03-22
\| * \|	[ide protocol] Add comment about leftover parameter.	Emilio Jesus Gallego Arias	2017-03-21
\| * \|	[xml] Restore protocol compatibility with 8.6.	Emilio Jesus Gallego Arias	2017-03-21
\| * \|	[pp] Remove uses of expensive string_of_ppcmds.	Emilio Jesus Gallego Arias	2017-03-21
\| * \|	[ide] Dynamic printing width.	Emilio Jesus Gallego Arias	2017-03-21
\| * \|	[ide] richpp clenaup	Emilio Jesus Gallego Arias	2017-03-21