| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-03-06 | Fix syntax highlighting of Extraction Inline and add Separate Extraction. | Guillaume Melquiond | |
| 2015-03-06 | Fix syntax highlighting of Extraction Language. | Guillaume Melquiond | |
| 2015-03-06 | Fix syntax highlighting of Typeclasses Opaque. | Guillaume Melquiond | |
| 2015-03-06 | Fix syntax highlighting of Module (Type). | Guillaume Melquiond | |
| 2015-03-06 | Fix syntax highlighting of Extract Inductive. | Guillaume Melquiond | |
| 2015-03-06 | Add syntax highlighting for Declare Module. | Guillaume Melquiond | |
| 2015-03-06 | Fix syntax highlighting of Import and Export. | Guillaume Melquiond | |
| 2015-03-06 | Add syntax highlighting for Declare ML Module. | Guillaume Melquiond | |
| 2015-03-06 | Fix syntax highlighting of Require. | Guillaume Melquiond | |
| 2015-03-06 | Fix syntax highlighting of Scheme. | Guillaume Melquiond | |
| 2015-03-06 | Do not highlight "using" as a constr keyword. | Guillaume Melquiond | |
| 2015-03-06 | Add syntax highlighting for About. | Guillaume Melquiond | |
| 2015-03-06 | Fix syntax highlighting of Save. | Guillaume Melquiond | |
| 2015-03-06 | Fix syntax highlighting of Hypothesis, Axiom, Variable, Parameter, and Context. | Guillaume Melquiond | |
| 2015-03-06 | Add syntax highlighting for Coercion. | Guillaume Melquiond | |
| 2015-03-06 | Fix syntax highlighting of "Require multiple libraries". | Guillaume Melquiond | |
| 2015-02-25 | CoqIDE: correclty unfocus (remove all tags) when jumping out of a proof | Enrico Tassi | |
| 2015-02-23 | Fix some typos in comments. | Guillaume Melquiond | |
| 2015-02-20 | Fixing bug #4073. | Pierre-Marie Pédrot | |
| 2015-02-17 | Remove Whelp commands. | Maxime Dénès | |
| Although these commands were never deprecated, they have been unusable for some time now, since they send requests to an Italian server which is no longer alive. | |||
| 2015-02-17 | Fixing bug #4023 again. | Pierre-Marie Pédrot | |
| 2015-02-17 | Tentative fix for bug #2855. | Pierre-Marie Pédrot | |
| 2015-02-17 | CoqIDE: read-only Qed sentence reflected in colors (Close: 4051) | Enrico Tassi | |
| 2015-02-15 | Fixing bug #4037. | Pierre-Marie Pédrot | |
| 2015-02-15 | Changing default for CoqIDE project to append arguments. | Pierre-Marie Pédrot | |
| Implement wish #3582. | |||
| 2015-02-15 | CoqIDE now remembers the path of the last opened project. | Pierre-Marie Pédrot | |
| Fixes bug #2762. | |||
| 2015-02-15 | Selecting whole words on double-click in CoqIDE. | Pierre-Marie Pédrot | |
| Fixes bug #4026. | |||
| 2015-02-14 | CoqIDE: restore old default colors | Enrico Tassi | |
| 2015-02-14 | Attempt to be more colorblind friendly in CoqIDE (Close #4024) | Enrico Tassi | |
| 2015-02-13 | Fixup version & copyright for MacOS bundle | Pierre Boutillier | |
| 2015-02-13 | Hardcode how coqide have to look for coqtop in MacOS bundle | Pierre Boutillier | |
| Sorry, that is ugly. Please revert if you see a better way to do it. | |||
| 2015-02-13 | Selection of the current word in CoqIDE looks at all buffers. | Pierre-Marie Pédrot | |
| 2015-02-13 | Trying to fix bug #3930. | Pierre-Marie Pédrot | |
| Instead of setting the last modified part of the text to be the insert point, we register all modifications to the buffer between to user actions and take the last modified point to be the least offset of all those modifications. | |||
| 2015-02-12 | Tentative fix for CoqIDE randomly dropping deletions. | Pierre-Marie Pédrot | |
| We make the deletion callback not to regenerate a task id, as the insertion callback does. I can't find a particular reason for this dissymetry, and it was indeed causing trouble. | |||
| 2015-02-12 | Fixing bug #3261. | Pierre-Marie Pédrot | |
| 2015-02-12 | Focussing on message view in CoqIDE when a message is pushed. | Pierre-Marie Pédrot | |
| Also fixes bug #4030. | |||
| 2015-02-12 | Fixing bug #4023. | Pierre-Marie Pédrot | |
| 2015-02-11 | Reinstauring backtrace display in CoqIDE. | Pierre-Marie Pédrot | |
| 2015-02-10 | Making undo/redo atomic in CoqIDE. | Pierre-Marie Pédrot | |
| 2015-02-06 | More efficient Richpp. | Pierre-Marie Pédrot | |
| We build the rich XML at once without generating the printed string. | |||
| 2015-02-04 | Fixing bug #3996. | Pierre-Marie Pédrot | |
| 2015-01-29 | Made the CoqIDE progress gutter clickable. | Pierre-Marie Pédrot | |
| 2015-01-25 | Made replacing of text in CoqIDE atomic w.r.t. the undo/redo. | Pierre-Marie Pédrot | |
| 2015-01-25 | Fixing bug #3947. | Pierre-Marie Pédrot | |
| 2015-01-14 | CoqIDE: a Make file to build coqidetop toploop | Enrico Tassi | |
| 2015-01-12 | Update headers. | Maxime Dénès | |
| 2015-01-05 | Removing GUtil dependency from ide/document.ml. | Pierre-Marie Pédrot | |
| We reimplement a quick-n-dirty Gtk-free signal handler. | |||
| 2015-01-05 | Adding an option to deactivate the progress bar. | Pierre-Marie Pédrot | |
| 2015-01-05 | Implementing a segment-viewer in CoqIDE. | Pierre-Marie Pédrot | |
| This allows a nifty display of the current state of the document through a dedicated progress bar. Also closes bug #3764. | |||
| 2014-12-17 | CoqIDE: cleanup jobs window on worker death | Enrico Tassi | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |