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-03	Merge PR #11664: Encoding string list as a string with application to the par...	Emilio Jesus Gallego Arias
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-03-15	Adding a function to encode/decode string list into a single string.	Hugo Herbelin
2020-02-16	CoqIDE: allow opening multiple files at once	Erika
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-03-19	CoqIDE: Ensuring that load/save windows are not hidden by their parent.	Hugo Herbelin
2019-03-19	CoqIDE: Moving last use of gtk2-only FileSelection to FileChooserDialog.	Hugo Herbelin
2019-02-27	[ide] only use Coq_config for the URL of the manual	Enrico Tassi
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
2018-01-19	update location on tab switch, issue 6624	Paul Steckler
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] richpp clenaup	Emilio Jesus Gallego Arias
2017-03-21	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias
2016-08-30	Fix bug #5051: Large outputs are garbled.	Pierre-Marie Pédrot
2016-05-31	Feedback cleanup	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-09-20	Adding rich printing primitives.	Pierre-Marie Pédrot
2015-04-03	Use the directory of the current session for selecting files to open.	Guillaume Melquiond
2015-02-23	Fix some typos in comments.	Guillaume Melquiond
2015-01-12	Update headers.	Maxime Dénès
2014-12-01	Remove dead code	Enrico Tassi
2014-07-22	Ide: Drop argument added by MacOS during .app launch	Pierre Boutillier
2014-06-25	all coqide specific files moved into ide/	Enrico Tassi
2013-12-10	Fix CoqIDE on windows	Enrico Tassi
2013-10-22	ideutils: support custom size for stock icons	gareuselesinge
2013-07-30	Granting wish #1781:	ppedrot
2013-05-06	Ideutils: comment on missing Glib utf8 handling function	gareuselesinge
2013-04-25	lablgtk2 misses Glib.Utf8.pos_to_offset, workaround in ideutils	gareuselesinge
2013-01-22	Coqide: avoid potentially blocking read on coqtop channel	letouzey
2012-12-10	Coqide: some more refactoring to lighten coqide.ml	letouzey
2012-12-08	Coqide: get rid of threads, use gtk asynchronous i/o instead	letouzey
2012-12-07	Coqide: more cleanup (buffers)	letouzey
2012-12-07	Coqide: opening non-existing files won't create them immediately anymore	letouzey
2012-12-07	Coqide: nicer creation of timers	letouzey
2012-12-07	Coqide: code cleanup	letouzey
2012-08-08	Updating headers.	herbelin
2012-06-29	Now CoqIDE separates answer and messages. This should hopefully	ppedrot
2012-06-26	Now CoqIDE auto-sets the printing width of the goal display.	ppedrot
2012-05-23	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill
2012-05-15	Coqide: in win32 command given to cmd.exe should be more quoted	letouzey
2012-04-17	Coqide: the coqtop to launch is a preference.	pboutill
2011-12-18	CoqIde files position is freedesktop compliant.	pboutill
2011-09-01	safe_prerr_endline in Minilib	pboutill
2011-09-01	same_file in Minilib	pboutill
2011-04-21	Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...	letouzey