aboutsummaryrefslogtreecommitdiff
path: root/ide/coqide.ml
AgeCommit message (Expand)Author
2019-04-30Renaming nanoPG to microPG.Hugo Herbelin
2019-03-22Merge PR #8560: Unicode bindings for CoqIDE that works out of the boxPierre-Marie Pédrot
2019-03-19Fix for post-beta3 lablgtk3 changes about cairo (from Claudio).Hugo Herbelin
2019-03-19CoqIDE: More informative message when failing editing/saving preferences.Hugo Herbelin
2019-03-19CoqIDE: Ensuring that load/save windows are not hidden by their parent.Hugo Herbelin
2019-03-19CoqIDE: No more explicit activation of tooltips on toolbar.Hugo Herbelin
2019-03-19CoqIDE: Stippling using bitmap no more supported for incomplete Qed.Hugo Herbelin
2019-03-19CoqIDE: wm_name and wm_class are now packed into wmclass.Hugo Herbelin
2019-03-19CoqIDE: Now calling destroy signal via widget_signals.Hugo Herbelin
2019-03-18final polishing for coqide bindingscharguer
2019-03-18Latex to LaTexcharguer
2019-03-18bindings files storagecharguer
2019-03-18support for coqide commande line argumentscharguer
2019-03-18latex to unicode in coqidecharguer
2019-02-27[ide] only use Coq_config for the URL of the manualEnrico Tassi
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-11-17Merge PR #8914: [CoqProject] Abstract warning function for CoqProject readers.Pierre-Marie Pédrot
2018-11-17Merge PR #8968: Miscellaneous CoqIDE fixesPierre-Marie Pédrot
2018-11-17[CoqProject] Abstract warning function for CoqProject readers.Emilio Jesus Gallego Arias
2018-11-15coqide: use correct toplevel name in filesGaëtan Gilbert
2018-11-11CoqIDE: pass the parent window to all methods liable to open a question box.Hugo Herbelin
2018-11-11CoqIDE: ensure that the configuration box is not hidden by the main window.Hugo Herbelin
2018-11-11CoqIDE: remove obselete menu item "Complete word".Hugo Herbelin
2018-10-16[clib] Deprecate string functions available in OCaml 4.05Emilio Jesus Gallego Arias
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 21:22:21 +0000