aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2015-03-06Fix syntax highlighting of Extraction Inline and add Separate Extraction.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Extraction Language.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Typeclasses Opaque.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Module (Type).Guillaume Melquiond
2015-03-06Fix syntax highlighting of Extract Inductive.Guillaume Melquiond
2015-03-06Add syntax highlighting for Declare Module.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Import and Export.Guillaume Melquiond
2015-03-06Add syntax highlighting for Declare ML Module.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Require.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Scheme.Guillaume Melquiond
2015-03-06Do not highlight "using" as a constr keyword.Guillaume Melquiond
2015-03-06Add syntax highlighting for About.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Save.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Hypothesis, Axiom, Variable, Parameter, and Context.Guillaume Melquiond
2015-03-06Add syntax highlighting for Coercion.Guillaume Melquiond
2015-03-06Fix syntax highlighting of "Require multiple libraries".Guillaume Melquiond
2015-02-25CoqIDE: correclty unfocus (remove all tags) when jumping out of a proofEnrico Tassi
2015-02-23Fix some typos in comments.Guillaume Melquiond
2015-02-20Fixing bug #4073.Pierre-Marie Pédrot
2015-02-17Remove Whelp commands.Maxime Dénès
2015-02-17Fixing bug #4023 again.Pierre-Marie Pédrot
2015-02-17Tentative fix for bug #2855.Pierre-Marie Pédrot
2015-02-17CoqIDE: read-only Qed sentence reflected in colors (Close: 4051)Enrico Tassi
2015-02-15Fixing bug #4037.Pierre-Marie Pédrot
2015-02-15Changing default for CoqIDE project to append arguments.Pierre-Marie Pédrot
2015-02-15CoqIDE now remembers the path of the last opened project.Pierre-Marie Pédrot
2015-02-15Selecting whole words on double-click in CoqIDE.Pierre-Marie Pédrot
2015-02-14CoqIDE: restore old default colorsEnrico Tassi
2015-02-14Attempt to be more colorblind friendly in CoqIDE (Close #4024)Enrico Tassi
2015-02-13Fixup version & copyright for MacOS bundlePierre Boutillier
2015-02-13Hardcode how coqide have to look for coqtop in MacOS bundlePierre Boutillier
2015-02-13Selection of the current word in CoqIDE looks at all buffers.Pierre-Marie Pédrot
2015-02-13Trying to fix bug #3930.Pierre-Marie Pédrot
2015-02-12Tentative fix for CoqIDE randomly dropping deletions.Pierre-Marie Pédrot
2015-02-12Fixing bug #3261.Pierre-Marie Pédrot
2015-02-12Focussing on message view in CoqIDE when a message is pushed.Pierre-Marie Pédrot
2015-02-12Fixing bug #4023.Pierre-Marie Pédrot
2015-02-11Reinstauring backtrace display in CoqIDE.Pierre-Marie Pédrot
2015-02-10Making undo/redo atomic in CoqIDE.Pierre-Marie Pédrot
2015-02-06More efficient Richpp.Pierre-Marie Pédrot
2015-02-04Fixing bug #3996.Pierre-Marie Pédrot
2015-01-29Made the CoqIDE progress gutter clickable.Pierre-Marie Pédrot
2015-01-25Made replacing of text in CoqIDE atomic w.r.t. the undo/redo.Pierre-Marie Pédrot
2015-01-25Fixing bug #3947.Pierre-Marie Pédrot
2015-01-14CoqIDE: a Make file to build coqidetop toploopEnrico Tassi
2015-01-12Update headers.Maxime Dénès
2015-01-05Removing GUtil dependency from ide/document.ml.Pierre-Marie Pédrot
2015-01-05Adding an option to deactivate the progress bar.Pierre-Marie Pédrot
2015-01-05Implementing a segment-viewer in CoqIDE.Pierre-Marie Pédrot
2014-12-17CoqIDE: cleanup jobs window on worker deathEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 17:59:37 +0000