aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2015-10-08Goptions: new value type: optional stringEnrico Tassi
2015-09-21Change the default modifiers for navigation. (Fix bug #4295)Guillaume Melquiond
2015-09-15Removing a warning in CoqOps.Pierre-Marie Pédrot
2015-09-12Fixing bug #2498: Coqide navigation preferences delayed effect.Pierre-Marie Pédrot
2015-09-10Extending the grammar for CoqIDE preferences so as to match trunk.Pierre-Marie Pédrot
2015-08-17Highlighting of the "Next Obligation" command in CoqIDE.Pierre-Marie Pédrot
2015-08-02Reverting 16 last commits, committed mistakenly using the wrong push command.Hugo Herbelin
2015-08-02Failing when reaching end of file with unterminated comment whenHugo Herbelin
2015-07-28Use open_utf8_file_in for opening files in the IDE. (Fix bug #2874)Guillaume Melquiond
2015-07-11CoqIDE: recenter on backtrack (Close: #4277)Enrico Tassi
2015-07-10Highlighting Universe in CoqIDE.Hugo Herbelin
2015-07-08Ide: fix bug #4284 for goodMatthieu Sozeau
2015-07-08Bug 4284: Tentative bugfix for detyping exception.Matthieu Sozeau
2015-06-19Make end-of-proof output consistent across toplevels.Guillaume Melquiond
2015-06-16Fix by Enrico on CoqIDE not locating errors anymore since 550da87456a.Hugo Herbelin
2015-06-07Fixing bug #4233: The command Restart is not fontified correctly.Pierre-Marie Pédrot
2015-05-29coqide: don't require ocaml >= 4Enrico Tassi
2015-05-26Jump to error line in CoqIDE grabs focus of the textview.Pierre-Marie Pédrot
2015-05-25CoqIDE columns in error and job panels can be sorted.Pierre-Marie Pédrot
2015-05-05Compatibility ocaml 3.12.Hugo Herbelin
2015-05-05Granting wish #4221.Pierre-Marie Pédrot
2015-04-27Improve syntax highlighting.Guillaume Melquiond
2015-04-26Open the file chooser even if there is no current session. (Fix bug #4206)Guillaume Melquiond
2015-04-09Add extraction to JSON.Nickolai Zeldovich
2015-04-03Use the directory of the current session for selecting files to open.Guillaume Melquiond
2015-04-02CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)Enrico Tassi
2015-03-11CoqIDE: load first _CoqProject file found and notify the userEnrico Tassi
2015-03-11CoqIDE: fix tag colors to support superposing unsafe and partialEnrico Tassi
2015-03-11CoqIDE: restore module/proof name in info barEnrico Tassi
2015-03-11CoqIDE: do not lose tag on Qed ending focused proofEnrico Tassi
2015-03-06Simplify grammar for syntax highlighting by removing extraneous parentheses.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Print/Reset Extraction.Guillaume Melquiond
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 18:58:35 +0000