aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2021-04-12Merge PR #14046: make critical sections safe in the presence of exceptionscoqbot-app[bot]
2021-04-09Make critical sections safe in the presence of exceptionsLasse Blaauwbroek
2021-04-08Fix a GTK warning in CoqIDE introduced by #14063.Pierre-Marie Pédrot
2021-04-08Merge PR #14062: Fixes #11690: wrongly toggled coqide printing matching flagPierre-Marie Pédrot
2021-04-06Merge PR #14077: Add odoc warnings for empty packages.coqbot-app[bot]
2021-04-06Merge PR #13741: Remove omega tactic (deprecated in 8.12)coqbot-app[bot]
2021-04-06Add odoc warnings for empty packages.Théo Zimmermann
2021-04-02Remove the omega tactic and related optionsJim Fehrle
2021-04-02Fixes #10720: highlighting Variant in CoqIDE.Hugo Herbelin
2021-04-02Fixes #11690: wrongly toggled coqide printing matching flag; moving raw->nested.Hugo Herbelin
2021-03-03[build] Split stdlib to it's own opam package.Emilio Jesus Gallego Arias
2021-02-25Merge PR #13202: Infrastructure for fine-grained debug flagscoqbot-app[bot]
2021-02-25Merge PR #13863: Get rid of the compilation date from the binaries to make th...coqbot-app[bot]
2021-02-24Infrastructure for fine-grained debug flagsMaxime Dénès
2021-02-17Add option --version to Coqide (fix #13752).Guillaume Melquiond
2021-02-16Get rid of the compilation date from the binaries to make them more stable.Guillaume Melquiond
2021-02-02ide: lablgtk fixesslrnsc
2021-02-01ide: shift+enter to find backwardsslrnsc
2021-01-28Merge PR #13763: Remove the SearchHead command (deprecated in 8.12)coqbot-app[bot]
2021-01-27[coqtop] handle -print-module-uid after initializationEnrico Tassi
2021-01-27[sysinit] move initialization code from coqtop to hereEnrico Tassi
2021-01-27[sysinit] new component for system initializationEnrico Tassi
2021-01-25Remove the SearchHead commandJim Fehrle
2021-01-13Avoid using "subgoals" in the UI, it means the same as "goals"Jim Fehrle
2020-12-18Fixes #13657: vscoq needs goal uid.Hugo Herbelin
2020-10-30Adding support for printing goal names in CoqIDE.Hugo Herbelin
2020-10-27Rename misc nonterminalsJim Fehrle
2020-10-12Merge PR #12874: Add a "Show Proof Diffs" message to the XML protocolcoqbot-app[bot]
2020-10-09Add an XML message for "Show Proof Diffs"Jim Fehrle
2020-10-08Dropping the misleading int argument of Pp.h.Hugo Herbelin
2020-10-08Add a check of empty list of arguments in xmlprotocol where relevant.Hugo Herbelin
2020-09-27Recognize only ":{{" as a sentence-gobbling quotation.Guillaume Melquiond
2020-09-24fix ide/.merlinEnrico Tassi
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:47:38 +0000