aboutsummaryrefslogtreecommitdiff
path: root/ide/coqide.ml
AgeCommit message (Expand)Author
2018-08-161) Make the diff setting a persistent settting.Jim Fehrle
2018-07-27Merge PR #8166: Fix Search query in CoqIDE.Enrico Tassi
2018-07-26Fix Search query in CoqIDE.Pierre-Marie Pédrot
2018-07-26Expose the diff printing option as an UI entry in CoqIDE.Pierre-Marie Pédrot
2018-03-08coqide: queries from the query window are routed there (fix #5684)Enrico Tassi
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-15[ide] Localize a IDE-specific flag.Emilio Jesus Gallego Arias
2018-01-19update location on tab switch, issue 6624Paul Steckler
2017-10-11Remove GeoProof support.Maxime Dénès
2017-09-06use get_arguments, String.concat, remove -IPaul Steckler
2017-09-05read flags from project file for Compile BufferPaul Steckler
2017-08-23Fix BZ#5687: Coqtop died badly modal message box from CoqIDE.Pierre-Marie Pédrot
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-05-25Merge PR#406: coq makefile2Maxime Dénès
2017-05-23CoqProject_file: API and code cleanup (tuples -> records)Enrico Tassi
2017-05-23ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliEnrico Tassi
2017-05-23[vernac] Remove `Save.` command.Emilio Jesus Gallego Arias
2017-04-27Fix omitted labels in function callsGaetan Gilbert
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
2017-03-14[safe-string] ideEmilio Jesus Gallego Arias
2016-09-27Fix bug #4553: CoqIDE gives warnings about deprecated GTK features.Pierre-Marie Pédrot
2016-06-02User queries can be terminated with "...".Cyprien Mangin
2016-06-02Better sanitization of user queries in CoqIDE.Cyprien Mangin
2016-06-02Add an option to configure the modifier for Queries.Cyprien Mangin
2016-06-02Merge the user queries tab with the shortcut tab.Cyprien Mangin
2016-06-02Add user-created queries to CoqIDE.Cyprien Mangin
2016-06-02Add a [Show Proof.] query to CoqIDE.Cyprien Mangin
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
2015-10-15Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-13Fix some typos.Guillaume Melquiond
2015-09-20Rich printing of messages.Pierre-Marie Pédrot
2015-08-31Switching to an event-based mechanism for CoqIDE preferences.Pierre-Marie Pédrot
2015-08-26Replacing old-style preferences in CoqIDE.Pierre-Marie Pédrot
2015-08-16Using the new preference mechanism for colors in CoqIDE.Pierre-Marie Pédrot
2015-08-16Taking advantage of the new type of preferences.Pierre-Marie Pédrot
2015-08-16Turning CoqIDE preferences into new style.Pierre-Marie Pédrot
2015-04-26Open the file chooser even if there is no current session. (Fix bug #4206)Guillaume Melquiond
2015-04-03Use the directory of the current session for selecting files to open.Guillaume Melquiond
2015-04-02CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)Enrico Tassi
2015-03-11CoqIDE: load first _CoqProject file found and notify the userEnrico Tassi
2015-03-11CoqIDE: restore module/proof name in info barEnrico Tassi
2015-02-20Fixing bug #4073.Pierre-Marie Pédrot
2015-02-17Remove Whelp commands.Maxime Dénès
2015-02-17Fixing bug #4023 again.Pierre-Marie Pédrot
2015-02-17Tentative fix for bug #2855.Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 09:17:11 +0000