coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	[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
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Rich printing of messages.	Pierre-Marie Pédrot	2015-09-20
* \|	Switching to an event-based mechanism for CoqIDE preferences.	Pierre-Marie Pédrot	2015-08-31
* \|	Using the new preference mechanism for colors in CoqIDE.	Pierre-Marie Pédrot	2015-08-16
\|/
*	Fixing bug #4073.	Pierre-Marie Pédrot	2015-02-20
*	Focussing on message view in CoqIDE when a message is pushed.	Pierre-Marie Pédrot	2015-02-12
*	Update headers.	Maxime Dénès	2015-01-12
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	Better encapsulation of MessageView	ppedrot	2013-03-20
*	Coqide: some more refactoring to lighten coqide.ml	letouzey	2012-12-10
*	Nice output of SearchAbout command in CoqIDE	ppedrot	2012-09-06
*	Updating headers.	herbelin	2012-08-08
*	Added abstration layer to goal display in CoqIDE, and cleaned parts	ppedrot	2012-07-16
*	Made the message view of CoqIDE abstract.	ppedrot	2012-06-24