aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2016-03-15CoqIDE is more resilient to initialization errors.Pierre-Marie Pédrot
2016-02-20Fixing bug #4540: CoqIDE bottom progress bar does not update.Pierre-Marie Pédrot
2016-02-19CoqIDE: STOP button also stops workers (fix #4542)Enrico Tassi
2016-01-20Update copyright headers.Maxime Dénès
2016-01-06Prevent coq_makefile from parsing project files in the reverse order. (Fix bu...Guillaume Melquiond
2015-12-14Fixing little bug of coq_makefile with unterminated comment.Hugo Herbelin
2015-12-14CoqIDE: add 'you need to restart CoqIDE after changing shortcuts' messageEnrico Tassi
2015-12-14Revert PMP's fix of #2498, which introduces an incompatibility with lablgtkMaxime Dénès
2015-10-30Fix typo.Guillaume Melquiond
2015-10-13Fix some typos.Guillaume Melquiond
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 00:07:44 +0000