aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2019-02-27[ide] only use Coq_config for the URL of the manualEnrico Tassi
2019-02-27[ide] coqtop -> coqidetop in user messagesEnrico Tassi
2019-02-11[ide] fix unconditional goto-point on editing an error (fix #9488)Enrico Tassi
2019-02-05[parsing] Use AST node for main parsing entry.Emilio Jesus Gallego Arias
2019-02-01[toplevel] Split interactive toplevel and compiler binaries.Emilio Jesus Gallego Arias
2019-01-27[fake_ide] infrastructure to test the failure of an ADDEnrico Tassi
2019-01-27[ide] fail on unavailable commands before adding to the documentEnrico Tassi
2019-01-24[STM] explicit handling of parsing statesEnrico Tassi
2018-12-18Merge PR #9178: CoqIDE: Restoring configuration of default width/height of ma...Pierre-Marie Pédrot
2018-12-17Merge PR #9206: [stm] join the tip of the document even when fixing a proof (...Emilio Jesus Gallego Arias
2018-12-17CoqIDE: Restoring configuration of default width/height of main window.Hugo Herbelin
2018-12-14[proof] Rework proof interface.Emilio Jesus Gallego Arias
2018-12-13[test] for join when error resiliency on and async-proofs offEnrico Tassi
2018-12-13[test] for #9204Enrico Tassi
2018-12-12Merge PR #9101: Fix 8922 againHugo Herbelin
2018-12-10Treat unmatched goals as new for diffs (highlighted)Jim Fehrle
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 05:04:51 +0000