aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2020-09-27Recognize only ":{{" as a sentence-gobbling quotation.Guillaume Melquiond
2020-09-22Setting default value for Display Parentheses off in CoqIDE.Hugo Herbelin
2020-09-01Unify the shelvesMaxime Dénès
2020-08-26Move given_up goals to evar_mapMaxime Dénès
2020-08-06Repair coqide option "Display parentheses"Jean-Christophe Léchenet
2020-06-29Merge PR #12570: CoqIDE: fix lexing of UTF-8 in quotations like constr:()Pierre-Marie Pédrot
2020-06-26[declare] Reify Proof.t API into the Proof module.Emilio Jesus Gallego Arias
2020-06-23CoqIDE: fix lexing of UTF-8 in quotations like constr:()James Lottes
2020-06-22CoqIDE: accept to open files with invalid namesVincent Laporte
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-05-15Cleaning the use of pstate and evar_map in Search.Hugo Herbelin
2020-05-08Merge PR #12068: Coqide completion: tentative fix for #11943Pierre-Marie Pédrot
2020-04-27Merge PR #12160: CoqIDE: Avoid invalidation of an iterator in insert callbackPierre-Marie Pédrot
2020-04-24CoqIDE: Revert overzealous application of language-based highlighting in #12169.Hugo Herbelin
2020-04-22CoqIDE: Avoid invalidation of an iterator in insert callback.Hugo Herbelin
2020-04-21Merge PR #12060: CoqIDE: Disable client-side decoration on WindowsPierre-Marie Pédrot
2020-04-17Coqide: Apply style scheme and language to the three buffers.Hugo Herbelin
2020-04-16CoqIDE: Disable client-side decoration on WindowsAttila Gáspár
2020-04-15[proof] Merge `Proof_global` into `Declare`Emilio Jesus Gallego Arias
2020-04-12CoqIDE completion: Relying on INSERT mark of the buffer.Hugo Herbelin
2020-04-10Coqide completion: Avoiding using an iterator in an apparently sensitive code.Hugo Herbelin
2020-04-03Merge PR #11664: Encoding string list as a string with application to the par...Emilio Jesus Gallego Arias
2020-03-30Partial revert of #11817.Pierre-Marie Pédrot
2020-03-30Merge PR #11817: [cleanup] Remove unnecessary Map/Set module creationGaëtan Gilbert
2020-03-28Remove SearchAbout command, deprecated in 8.5Jim Fehrle
2020-03-19Merge PR #11745: Remove invisible U+FE00 variation selector from CoqIDE bindingsPierre-Marie Pédrot
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-03-15Use quotes when "necessary" in the coqtop argument window.Hugo Herbelin
2020-03-15Adding a function to encode/decode string list into a single string.Hugo Herbelin
2020-03-13[cleanup] Remove unnecessary Map/Set module creationEmilio Jesus Gallego Arias
2020-03-09Prevent CoqIDE from hanging when invalid channels are still open.Pierre-Marie Pédrot
2020-03-04Merge PR #11380: [exninfo] Deprecate aliases for exception re-raising.Pierre-Marie Pédrot
2020-03-03[loadpath] Rework and simplify ML loadpath handlingEmilio Jesus Gallego Arias
2020-03-03Remove invisible U+FE00 variation selector from CoqIDE bindingsNickolai Zeldovich
2020-03-03[exninfo] Deprecate aliases for exception re-raising.Emilio Jesus Gallego Arias
2020-02-28Fixed some escaping problems with arguments containing spaces in IDE's Compil...Ike Mulder
2020-02-27Merge PR #11650: Set Printing ParensEmilio Jesus Gallego Arias
2020-02-24[exn] remove `raise` taking optional exception information argumentEmilio Jesus Gallego Arias
2020-02-23Adding a Display Parentheses menu in CoqIDE.Hugo Herbelin
2020-02-16CoqIDE: allow opening multiple files at onceErika
2020-02-12Remove Goptions.opt_name fieldGaëtan Gilbert
2020-02-05Merge PR #11414: Remove the Tactic menu from CoqIDE.Hugo Herbelin
2020-01-28Merge PR #11379: [ocaml] Remove Custom Backtrace module in favor of OCaml'sPierre-Marie Pédrot
2020-01-17Remove the CoqIDE "Revert all Buffers" command.Pierre-Marie Pédrot
2020-01-17Remove the Tactic menu from CoqIDE.Pierre-Marie Pédrot
2020-01-16Adding an option to change the autocompletion delay.Pierre-Marie Pédrot
2020-01-16Better handling of asynchronous completion.Pierre-Marie Pédrot
2020-01-16Hacking a completion widget based on the default GtkSourceView one.Pierre-Marie Pédrot
2020-01-15[ocaml] Remove Custom Backtrace module in favor of OCaml'sEmilio Jesus Gallego Arias
2019-12-09dune: Add byte mode for coqchk and coqide (fix dune-dbg for dune 2)Gaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:13:11 +0000