| Age | Commit message (Expand) | Author |
|---|
| 2014-10-01 | STM: report the (structured) goals as XML | Carst Tankink |
| 2014-10-01 | Factored out IDE goal structure. | Carst Tankink |
| 2014-09-29 | CoqIDE: new message to print AST | Enrico Tassi |
| 2014-09-17 | Remove pointless regex for '""' as the empty string already matches it. | Guillaume Melquiond |
| 2014-09-17 | Fix highlighting of "Hint Unfold" and "Hint Rewrite". | Guillaume Melquiond |
| 2014-09-17 | Properly highlight the Export keyword. | Guillaume Melquiond |
| 2014-09-17 | Fix ambiguous regex in syntax highlighting. | Guillaume Melquiond |
| 2014-09-17 | Fix broken syntax highlighting for Coq files using "Proof constr". | Guillaume Melquiond |
| 2014-09-12 | Referring to evars by names. Added a parser for evars (but parsing of | Hugo Herbelin |
| 2014-09-09 | IDE: escape popup text (close: 3600) | Enrico Tassi |
| 2014-09-09 | IDE: disable editable text area underline when -debug | Enrico Tassi |
| 2014-09-09 | toploop plugins taken into account when printing --help (close: 3535) | Enrico Tassi |
| 2014-09-04 | Add a [Variant] declaration which allows to write non-recursive variant types. | Arnaud Spiwack |
| 2014-09-02 | Fixup introduction of coqworkmgr | Pierre Boutillier |
| 2014-09-02 | coqworkmgr | Enrico Tassi |
| 2014-09-01 | Coqide prints succesive hyps of the same type on 1 line | Pierre Boutillier |
| 2014-08-25 | "allows to", like "allowing to", is improper | Jason Gross |
| 2014-08-24 | Fixing bug #3404. | Pierre-Marie Pédrot |
| 2014-08-24 | Enabling drag & drop on the source view widgets. | Pierre-Marie Pédrot |
| 2014-08-12 | Quick fix for avoiding infinitely many respawning and Warning "Coq | Hugo Herbelin |
| 2014-08-05 | CoqIDE: fixing parsing of bullets and brackets even at end of file. | Hugo Herbelin |
| 2014-08-05 | Uncountably many bullets (+,-,*,++,--,**,+++,...). | Hugo Herbelin |
| 2014-08-05 | Coqide: check_connection now also checks correct loading of coqide plugin + | Hugo Herbelin |
| 2014-08-05 | STM: code restructured to reuse task queue for tactics | Enrico Tassi |
| 2014-08-05 | Coqide: annoying popups with GTK errors only in debug mode | Enrico Tassi |
| 2014-07-24 | Make MacStore like coqide more | Pierre Boutillier |
| 2014-07-22 | Ide: Drop argument added by MacOS during .app launch | Pierre Boutillier |
| 2014-07-22 | the art of forgetting new files during rebase -i | Pierre Boutillier |
| 2014-07-22 | A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle | Pierre Boutillier |
| 2014-07-22 | Coqide use '(diraname MYSELF)/coqtop' as coqtop only if this file exists | Pierre Boutillier |
| 2014-07-10 | CoqIDE: on win32 the old interrputer code (SIGINT) is still needed | Enrico Tassi |
| 2014-06-30 | Little coqide bug, when coqtop outputs empty lines, as e.g. when calling coqi... | Hugo Herbelin |
| 2014-06-30 | Coq_makefile takes advantages of -I -Q -R cleanup | Pierre Boutillier |
| 2014-06-30 | Coq_makefile: -extra[-phony] correction + doc | Pierre Boutillier |
| 2014-06-25 | all coqide specific files moved into ide/ | Enrico Tassi |
| 2014-06-19 | Support dropping files over the coqide window. (Partial fix for bug #2765) | Guillaume Melquiond |
| 2014-05-01 | Fixing ml-doc. | Pierre-Marie Pédrot |
| 2014-04-28 | Fix broken commit 2bcb2cb. | Guillaume Melquiond |
| 2014-04-28 | Fix incorrect syntax highlighting after the Goal command. | Guillaume Melquiond |
| 2014-04-10 | CoqIDE: options for syntax highlighting | Enrico Tassi |
| 2014-04-10 | CoqIDE: removing a timer may raise an exception | Enrico Tassi |
| 2014-04-09 | nanoPG: when the cursor moves, scroll to make it appear on screen | Enrico Tassi |
| 2014-04-09 | nanoPG: takeover keypress only when text view has focus | Enrico Tassi |
| 2014-04-07 | Allowing proof view to be detached in CoqIDE. | Pierre-Marie Pédrot |
| 2014-04-03 | Clean up the .merlin | Thomas Refis |
| 2014-03-26 | CoqIDE: better error reporting for Qed on incomplete proof | Enrico Tassi |
| 2014-03-13 | nanoPG: better copy/paste | Enrico Tassi |
| 2014-03-12 | Stm: smarter delegation policy | Enrico Tassi |
| 2014-03-12 | CoqIDE: Errors page gets red if not empty | Enrico Tassi |
| 2014-03-12 | CoqIDE: detachable message/error/jobs panes | Enrico Tassi |
