aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* Fix typo.Gravatar Guillaume Melquiond2015-10-30
* Fix some typos.Gravatar Guillaume Melquiond2015-10-13
* Goptions: new value type: optional stringGravatar Enrico Tassi2015-10-08
* Change the default modifiers for navigation. (Fix bug #4295)Gravatar Guillaume Melquiond2015-09-21
* Removing a warning in CoqOps.Gravatar Pierre-Marie Pédrot2015-09-15
* Fixing bug #2498: Coqide navigation preferences delayed effect.Gravatar Pierre-Marie Pédrot2015-09-12
* Extending the grammar for CoqIDE preferences so as to match trunk.Gravatar Pierre-Marie Pédrot2015-09-10
* Highlighting of the "Next Obligation" command in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-17
* Reverting 16 last commits, committed mistakenly using the wrong push command.Gravatar Hugo Herbelin2015-08-02
* Failing when reaching end of file with unterminated comment whenGravatar Hugo Herbelin2015-08-02
* Use open_utf8_file_in for opening files in the IDE. (Fix bug #2874)Gravatar Guillaume Melquiond2015-07-28
* CoqIDE: recenter on backtrack (Close: #4277)Gravatar Enrico Tassi2015-07-11
* Highlighting Universe in CoqIDE.Gravatar Hugo Herbelin2015-07-10
* Ide: fix bug #4284 for goodGravatar Matthieu Sozeau2015-07-08
* Bug 4284: Tentative bugfix for detyping exception.Gravatar Matthieu Sozeau2015-07-08
* Make end-of-proof output consistent across toplevels.Gravatar Guillaume Melquiond2015-06-19
* Fix by Enrico on CoqIDE not locating errors anymore since 550da87456a.Gravatar Hugo Herbelin2015-06-16
* Fixing bug #4233: The command Restart is not fontified correctly.Gravatar Pierre-Marie Pédrot2015-06-07
* coqide: don't require ocaml >= 4Gravatar Enrico Tassi2015-05-29
* Jump to error line in CoqIDE grabs focus of the textview.Gravatar Pierre-Marie Pédrot2015-05-26
* CoqIDE columns in error and job panels can be sorted.Gravatar Pierre-Marie Pédrot2015-05-25
* Compatibility ocaml 3.12.Gravatar Hugo Herbelin2015-05-05
* Granting wish #4221.Gravatar Pierre-Marie Pédrot2015-05-05
* Improve syntax highlighting.Gravatar Guillaume Melquiond2015-04-27
* Open the file chooser even if there is no current session. (Fix bug #4206)Gravatar Guillaume Melquiond2015-04-26
* Add extraction to JSON.Gravatar Nickolai Zeldovich2015-04-09
* Use the directory of the current session for selecting files to open.Gravatar Guillaume Melquiond2015-04-03
* CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)Gravatar Enrico Tassi2015-04-02
* CoqIDE: load first _CoqProject file found and notify the userGravatar Enrico Tassi2015-03-11
* CoqIDE: fix tag colors to support superposing unsafe and partialGravatar Enrico Tassi2015-03-11
* CoqIDE: restore module/proof name in info barGravatar Enrico Tassi2015-03-11
* CoqIDE: do not lose tag on Qed ending focused proofGravatar Enrico Tassi2015-03-11
* Simplify grammar for syntax highlighting by removing extraneous parentheses.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Print/Reset Extraction.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Extraction Inline and add Separate Extraction.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Extraction Language.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Typeclasses Opaque.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Module (Type).Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Extract Inductive.Gravatar Guillaume Melquiond2015-03-06
* Add syntax highlighting for Declare Module.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Import and Export.Gravatar Guillaume Melquiond2015-03-06
* Add syntax highlighting for Declare ML Module.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Require.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Scheme.Gravatar Guillaume Melquiond2015-03-06
* Do not highlight "using" as a constr keyword.Gravatar Guillaume Melquiond2015-03-06
* Add syntax highlighting for About.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Save.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Hypothesis, Axiom, Variable, Parameter, and Context.Gravatar Guillaume Melquiond2015-03-06
* Add syntax highlighting for Coercion.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of "Require multiple libraries".Gravatar Guillaume Melquiond2015-03-06