aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* 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
* CoqIDE: correclty unfocus (remove all tags) when jumping out of a proofGravatar Enrico Tassi2015-02-25
* Fix some typos in comments.Gravatar Guillaume Melquiond2015-02-23
* Fixing bug #4073.Gravatar Pierre-Marie Pédrot2015-02-20
* Remove Whelp commands.Gravatar Maxime Dénès2015-02-17
* Fixing bug #4023 again.Gravatar Pierre-Marie Pédrot2015-02-17
* Tentative fix for bug #2855.Gravatar Pierre-Marie Pédrot2015-02-17
* CoqIDE: read-only Qed sentence reflected in colors (Close: 4051)Gravatar Enrico Tassi2015-02-17
* Fixing bug #4037.Gravatar Pierre-Marie Pédrot2015-02-15
* Changing default for CoqIDE project to append arguments.Gravatar Pierre-Marie Pédrot2015-02-15
* CoqIDE now remembers the path of the last opened project.Gravatar Pierre-Marie Pédrot2015-02-15
* Selecting whole words on double-click in CoqIDE.Gravatar Pierre-Marie Pédrot2015-02-15
* CoqIDE: restore old default colorsGravatar Enrico Tassi2015-02-14
* Attempt to be more colorblind friendly in CoqIDE (Close #4024)Gravatar Enrico Tassi2015-02-14
* Fixup version & copyright for MacOS bundleGravatar Pierre Boutillier2015-02-13
* Hardcode how coqide have to look for coqtop in MacOS bundleGravatar Pierre Boutillier2015-02-13
* Selection of the current word in CoqIDE looks at all buffers.Gravatar Pierre-Marie Pédrot2015-02-13
* Trying to fix bug #3930.Gravatar Pierre-Marie Pédrot2015-02-13
* Tentative fix for CoqIDE randomly dropping deletions.Gravatar Pierre-Marie Pédrot2015-02-12
* Fixing bug #3261.Gravatar Pierre-Marie Pédrot2015-02-12
* Focussing on message view in CoqIDE when a message is pushed.Gravatar Pierre-Marie Pédrot2015-02-12
* Fixing bug #4023.Gravatar Pierre-Marie Pédrot2015-02-12