aboutsummaryrefslogtreecommitdiff
path: root/ide/coq.ml
AgeCommit message (Expand)Author
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-02-23Adding a Display Parentheses menu in CoqIDE.Hugo Herbelin
2020-02-16CoqIDE: allow opening multiple files at onceErika
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-07-08Adding methods help and parse_extra to custom toplevels data.Hugo Herbelin
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-03-19CoqIDE: Moving last use of gtk2-only FileSelection to FileChooserDialog.Hugo Herbelin
2019-02-27[ide] coqtop -> coqidetop in user messagesEnrico Tassi
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-10-01[config] Remove unused ML variables.Emilio Jesus Gallego Arias
2018-07-26Expose the diff printing option as an UI entry in CoqIDE.Pierre-Marie Pédrot
2018-05-21[ide] Remove special option `-ideslave`Emilio Jesus Gallego Arias
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-15[ide] Localize a IDE-specific flag.Emilio Jesus Gallego Arias
2017-08-23Fix BZ#5687: Coqtop died badly modal message box from CoqIDE.Pierre-Marie Pédrot
2017-07-28Merge PR #823: Async off in Windows by default in CoqIDEMaxime Dénès
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-26disable async on Windows by defaultPaul Steckler
2017-05-04Adding an option "Printing Unfocused".Pierre Courtieu
2017-03-21[xml] Restore protocol compatibility with 8.6.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
2016-06-27Merge branch 'v8.5'Pierre-Marie Pédrot
2016-06-27Fix bug #4698: CoqIDE error dialogs piling up when coqtop dies.Pierre-Marie Pédrot
2016-06-25[feedback] Remove unused tag on `Debug` level.Emilio Jesus Gallego Arias
2016-06-06xmlprotocol: Marshal_error carries the reasonEnrico Tassi
2016-06-02Encapsulate xml serialization in xmlprotocol.mliEmilio Jesus Gallego Arias
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-02-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-02-19CoqIDE: STOP button also stops workers (fix #4542)Enrico Tassi
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2016-01-02Remove some unused functions.Guillaume Melquiond
2015-09-20Rich printing of messages.Pierre-Marie Pédrot
2015-09-20Do not canonicalize messages received by CoqIDE.Pierre-Marie Pédrot
2015-08-16Turning CoqIDE preferences into new style.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2014-08-05Coqide: check_connection now also checks correct loading of coqide plugin +Hugo Herbelin
2014-06-30Little coqide bug, when coqtop outputs empty lines, as e.g. when calling coqi...Hugo Herbelin
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-04-10CoqIDE: removing a timer may raise an exceptionEnrico Tassi
2014-03-12Stm: smarter delegation policyEnrico Tassi
2014-03-06remove trailing '\r' from file names returned by coqtopVirgile Prevosto
2014-02-17CoqIDE: when coqtop misbehaves kill it properly (no zombie)Enrico Tassi
2014-01-30STM + CoqIDE: stop_worker message and UIEnrico Tassi
2014-01-26CoqIDE: command line for extra coqtop "flags"Enrico Tassi
2014-01-26CoqIDE: ported to spawnEnrico Tassi
2014-01-05Paral-ITP: cleanup of command line flags and more conservative defaultEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:03:14 +0000