coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	coqide: avoid marking sentences that are not in the document anymore	Enrico Tassi	2018-03-28
*	coqide: queries from the query window are routed there (fix #5684)	Enrico Tassi	2018-03-08
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	[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
*	Coqide: adding a separating space in some debugging messages.	Hugo Herbelin	2017-09-11
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	[ide] Add route_id parameter to query call.	Emilio Jesus Gallego Arias	2017-06-18
*	Merge branch 'trunk' into located_switch	Emilio Jesus Gallego Arias	2017-05-24
\|\
\| *	Remove some unused values and types	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] 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
\|\
\| *	[stm] Remove edit_id.	Emilio Jesus Gallego Arias	2017-04-12
* \|	[ide] Correctly place warning tags.	Emilio Jesus Gallego Arias	2017-04-08
\|/
*	[coqide] Protect against size_allocate race in proofview.	Emilio Jesus Gallego Arias	2017-03-28
*	[pp] Hide the internal representation of `std_ppcmds`.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] [ide] Minor cleanups in pp code.	Emilio Jesus Gallego Arias	2017-03-21
*	[ide] Dynamic printing width.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
*	[ide] Use "log via feedback".	Emilio Jesus Gallego Arias	2017-03-21
*	CoqIDE: push to message win feedback Message(Debug,Info,Notice)	Enrico Tassi	2016-09-13
*	CoqIDE: Errors are sticky (fix #4368)	Enrico Tassi	2016-09-07
*	coqide: use Document instead of tags to detect sentences to `Skip (#4829)	Enrico Tassi	2016-09-05
*	Fix bug #4421: Messages dialog in Coqide resets.	Pierre-Marie Pédrot	2016-08-29
*	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-08-16
\|\
\| *	Fix regression in Coqide's "forward one command" command	Xavier Leroy	2016-08-14
* \|	A new infrastructure for warnings.	Maxime Dénès	2016-06-29
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-06-27
\|\\|
\| *	Fix bug #4698: CoqIDE error dialogs piling up when coqtop dies.	Pierre-Marie Pédrot	2016-06-27
* \|	[feedback] Remove `ErrorMsg` in favor of `Message Error`.	Emilio Jesus Gallego Arias	2016-06-25
* \|	CoqIDE: remove useless print	Enrico Tassi	2016-06-07
* \|	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-09
\|\\|
\| *	Use the actual location of an error in the error pane (bug #4169).	Guillaume Melquiond	2016-05-09
* \|	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-03-18
\|\\|
\| *	CoqIDE is more resilient to initialization errors.	Pierre-Marie Pédrot	2016-03-15
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-02-21
\|\\|
\| *	Fixing bug #4540: CoqIDE bottom progress bar does not update.	Pierre-Marie Pédrot	2016-02-20
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-30
\|\\|
\| *	Fix typo.	Guillaume Melquiond	2015-10-30
* \|	Rich printing of CoqIDE protocol failure.	Pierre-Marie Pédrot	2015-09-20
* \|	Rich printing of messages.	Pierre-Marie Pédrot	2015-09-20
* \|	Adding rich printing primitives.	Pierre-Marie Pédrot	2015-09-20