coq - The formal proof system

Age	Commit message (Expand)	Author
2020-06-02	Move CoqIDE to its own folder	Maxime Dénès
2020-04-17	Coqide: Apply style scheme and language to the three buffers.	Hugo Herbelin
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2018-12-09	[doc] Enable Warning 50 [incorrect doc comment] and fix comments.	Emilio Jesus Gallego Arias
2018-03-08	coqide: queries from the query window are routed there (fix #5684)	Enrico Tassi
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-27	deprecate Pp.std_ppcmds type alias	Matej Košík
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
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
2016-01-21	Merge branch 'v8.5'	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-09-20	Rich printing of messages.	Pierre-Marie Pédrot
2015-08-31	Switching to an event-based mechanism for CoqIDE preferences.	Pierre-Marie Pédrot
2015-08-16	Using the new preference mechanism for colors in CoqIDE.	Pierre-Marie Pédrot
2015-02-20	Fixing bug #4073.	Pierre-Marie Pédrot
2015-02-12	Focussing on message view in CoqIDE when a message is pushed.	Pierre-Marie Pédrot
2015-01-12	Update headers.	Maxime Dénès
2014-06-25	all coqide specific files moved into ide/	Enrico Tassi
2013-03-20	Better encapsulation of MessageView	ppedrot
2012-12-10	Coqide: some more refactoring to lighten coqide.ml	letouzey
2012-09-06	Nice output of SearchAbout command in CoqIDE	ppedrot
2012-08-08	Updating headers.	herbelin
2012-07-16	Added abstration layer to goal display in CoqIDE, and cleaned parts	ppedrot
2012-06-24	Made the message view of CoqIDE abstract.	ppedrot