coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\| * \|	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
\| * \|	[pp] Remove unused printing tagging infrastructure.	Emilio Jesus Gallego Arias	2017-03-21
\| * \|	[ide] ide_slave doesnt't need to capture stdout	Emilio Jesus Gallego Arias	2017-03-21
\| * \|	[ide] Use "log via feedback".	Emilio Jesus Gallego Arias	2017-03-21
* \| \|	Merge branch 'master'.	Pierre-Marie Pédrot	2017-02-14
\|\\| \|
* \| \|	Evar-normalizing functions now act on EConstrs.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Removing compatibility layers related to printing.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Goal API using EConstr.	Pierre-Marie Pédrot	2017-02-14
\| * \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-01-19
\|/\| \| \| \|/
\| *	Fix broken .aux machinery.	Guillaume Melquiond	2017-01-13