aboutsummaryrefslogtreecommitdiff
path: root/ide/coqide.ml
AgeCommit message (Expand)Author
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-11-07Do not rely on the user settings but on the actual window size. (Fixes #10956)Guillaume Melquiond
2019-09-10Moving a standard string function (is_prefix) from Minilib to CString.Hugo Herbelin
2019-09-10Using GTK+ PRIMARY to factorize CoqIDE keys between MacOS and others.Hugo Herbelin
2019-09-10Hack to have the "ready" status bar message not hiding flash notices.Hugo Herbelin
2019-08-06Merge PR #10557: Fixing #10286 (coqide hangs on invalid filenames)Pierre-Marie Pédrot
2019-08-04Merge PR #10579: Remove underscores from inserted texts.Pierre-Marie Pédrot
2019-07-26Remove the tactic wizard, as it has not worked for several years and no one c...Guillaume Melquiond
2019-07-26Remove underscores from inserted texts.Guillaume Melquiond
2019-07-23Fixing #10286 (coqide hangs on invalid filenames).Hugo Herbelin
2019-06-17Update ml-style headers to new year.Théo Zimmermann
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:47:54 +0000