aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2018-11-28coqide: Remove unused win32_kill C functionGaëtan Gilbert
2018-11-24[toplevel] Allow to specify default options.Emilio Jesus Gallego Arias
2018-11-22Merge PR #8967: Fix #8922 (uncaught pp_diff exception)Hugo Herbelin
2018-11-20Merge PR #8959: [dune] [ide] Install data files.Enrico Tassi
2018-11-17Merge PR #8992: put protocol/ in ide/.merlinPierre-Marie Pédrot
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-16put protocol/ in ide/.merlinGaëtan Gilbert
2018-11-15coqide: use correct toplevel name in filesGaëtan Gilbert
2018-11-14Get hyps and goal the same way Printer does; don't omit infoJim Fehrle
2018-11-11CoqIDE: pass the parent window to all methods liable to open a question box.Hugo Herbelin
2018-11-11A private copy of lablgtk's question_box supporting the "parent" option.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-11-11CoqIDE: Do not rebind up and down in microPG mode.Hugo Herbelin
2018-11-09[dune] [ide] Install data files.Emilio Jesus Gallego Arias
2018-11-06[dune] [coqide] Use copy action instead of (run cp ...)Emilio Jesus Gallego Arias
2018-11-02Select OS specific coqide code with cp.Gaëtan Gilbert
2018-10-26Merge PR #8803: Fix issue #8800 (gtk warning about gtk_scrolled_window_add_wi...Pierre-Marie Pédrot
2018-10-23Fix issue #8801.Guillaume Melquiond
2018-10-23Fix issue #8800.Guillaume Melquiond
2018-10-16[clib] Deprecate string functions available in OCaml 4.05Emilio Jesus Gallego Arias
2018-10-15Correct some spelling errorsBenjamin Barenblat
2018-10-11[dune] [test-suite] Support for running the test suite with Dune.Emilio Jesus Gallego Arias
2018-10-08[ide] [dune] [test-suite] Reorganize `fake_ide` build.Emilio Jesus Gallego Arias
2018-10-05[dune] Refactor files following advice from upstream.Emilio Jesus Gallego Arias
2018-10-05[ci] [dune] [opam] Fixes to OPAM and CI target.Emilio Jesus Gallego Arias
2018-10-02[ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0Emilio Jesus Gallego Arias
2018-10-01[config] Remove unused ML variables.Emilio Jesus Gallego Arias
2018-10-01[lib] [flags] Move private IDE functions to `ide`Emilio Jesus Gallego Arias
2018-09-27[dune] [coqide] Turn CoqIDE into a library.Emilio Jesus Gallego Arias
2018-09-23Merge PR #8247: Show diffs on multiple changed goals; match old and new goal ...Emilio Jesus Gallego Arias
2018-09-20Current diff code only compares the first current goal of the old and newJim Fehrle
2018-09-20[opam] Fix typo in build variable.Emilio Jesus Gallego Arias
2018-09-06Merge PR #8394: Print the entire string to the CoqIDE screen, e.g. for "Print...Pierre-Marie Pédrot
2018-09-05[bin] Fix binary location procedure to work with symlinks.Emilio Jesus Gallego Arias
2018-09-05[build] Preliminary support for building Coq with `dune`.Emilio Jesus Gallego Arias
2018-09-03Fix for issue #8378. If the string matches the regex, output theJim Fehrle
2018-08-27Add support for focusing on named goals using brackets.Théo Zimmermann
2018-08-161) Make the diff setting a persistent settting.Jim Fehrle
2018-07-31Code to handle "Back" command for diffs.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-07-26Do not set diff printing on by default in CoqIDE.Pierre-Marie Pédrot
2018-07-23Displays the differences between successive proof steps in coqtop and CoqIDE.Jim Fehrle
2018-07-18Merge PR #8054: [dev] Autogenerate OCaml dev files.Enrico Tassi
2018-07-18Merge PR #7897: Remove fourier pluginEnrico Tassi
2018-07-17Remove fourier pluginMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:15:41 +0000