aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* 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
* Reinstauring backtrace display in CoqIDE.Gravatar Pierre-Marie Pédrot2015-02-11
* Making undo/redo atomic in CoqIDE.Gravatar Pierre-Marie Pédrot2015-02-10
* More efficient Richpp.Gravatar Pierre-Marie Pédrot2015-02-06
* Fixing bug #3996.Gravatar Pierre-Marie Pédrot2015-02-04
* Made the CoqIDE progress gutter clickable.Gravatar Pierre-Marie Pédrot2015-01-29
* Made replacing of text in CoqIDE atomic w.r.t. the undo/redo.Gravatar Pierre-Marie Pédrot2015-01-25
* Fixing bug #3947.Gravatar Pierre-Marie Pédrot2015-01-25
* CoqIDE: a Make file to build coqidetop toploopGravatar Enrico Tassi2015-01-14
* Update headers.Gravatar Maxime Dénès2015-01-12
* Removing GUtil dependency from ide/document.ml.Gravatar Pierre-Marie Pédrot2015-01-05
* Adding an option to deactivate the progress bar.Gravatar Pierre-Marie Pédrot2015-01-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 17:19:18 +0000