aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
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
2018-07-14[build] Build Coq and plugins with `-strict-sequence`Emilio Jesus Gallego Arias
2018-07-12[dev] Autogenerate OCaml dev files.Emilio Jesus Gallego Arias
2018-07-07Introduce a Pcoq.Entry module for functions that ought to be exported.Pierre-Marie Pédrot
2018-07-03Remove unused arguments to Ide_slave.concl_next_tac.Gaëtan Gilbert
2018-06-27CoqIDE scrolls the proof buffer down to the first goal.Cyprien Mangin
2018-06-18Remove reference name type.Maxime Dénès
2018-05-28Merge PR #7419: Remove 100 occurrences of Evd.emptyPierre-Marie Pédrot
2018-05-25Remove some occurrences of Evd.emptyMaxime Dénès
2018-05-24[ide] Move common protocol library to its own folder/object.Emilio Jesus Gallego Arias
2018-05-21[ide] Remove special option `-ideslave`Emilio Jesus Gallego Arias
2018-05-21[stm] Make toplevels standalone executables.Emilio Jesus Gallego Arias
2018-05-16[ide] Don't set `quiet` on start.Emilio Jesus Gallego Arias
2018-05-15Merge PR #7224: Attempt to fix the doubly encapsulated Ltac errors in coqideEnrico Tassi
2018-04-19[toplevel] let toploop_init change Coq optionsEnrico Tassi
2018-04-12Merge PR #7096: coqide: avoid marking sentences that are not in the document ...Pierre-Marie Pédrot
2018-04-12Attempt to fix the doubly encapsulated Ltac errors in coqide.Hugo Herbelin
2018-04-05Remove unused script.Théo Zimmermann
2018-03-28coqide: avoid marking sentences that are not in the document anymoreEnrico Tassi
2018-03-11[vernac] Move `Quit` and `Drop` to the toplevel layer.Emilio Jesus Gallego Arias
2018-03-09[located] Push inner locations in `reference` to a CAst.t node.Emilio Jesus Gallego Arias
2018-03-09[located] More work towards using CAst.tEmilio Jesus Gallego Arias
2018-03-09Merge PR #6923: Export optionsMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:03:06 +0000