coq - The formal proof system

Age	Commit message (Expand)	Author
2020-06-02	Move CoqIDE to its own folder	Maxime Dénès
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-11-21	[coq] Untabify the whole ML codebase.	Emilio Jesus Gallego Arias
2019-07-26	Remove the tactic wizard, as it has not worked for several years and no one c...	Guillaume Melquiond
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
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-04	Bump year in headers.	Pierre-Marie Pédrot
2016-06-27	Fix bug #4698: CoqIDE error dialogs piling up when coqtop dies.	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2015-01-05	Implementing a segment-viewer in CoqIDE.	Pierre-Marie Pédrot
2014-08-05	STM: code restructured to reuse task queue for tactics	Enrico Tassi
2014-01-30	STM + CoqIDE: stop_worker message and UI	Enrico Tassi
2013-10-22	CoqIDE: display in the errors window also the slaves status	gareuselesinge
2013-09-13	CoqIDE: new async error reporting window and slaves status	gareuselesinge
2013-09-12	CoqIDE: show number of proofs being checked in background	gareuselesinge
2013-08-11	Automatic backtracking if locked zone is edited	gareuselesinge
2013-08-08	Coqide ported to STM	gareuselesinge
2013-04-25	Coqide: new feedback mechanism for structured content	gareuselesinge
2013-01-26	Uniformization of Coq tasks	ppedrot
2012-12-19	Coqide: cleaner Coq.PrintOpt and session creation	letouzey
2012-12-10	Coqide: some more refactoring to lighten coqide.ml	letouzey