| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2014-03-06 | remove trailing '\r' from file names returned by coqtop | Virgile Prevosto |
| 2014-03-05 | Remove many superfluous 'open' indicated by ocamlc -w +33 | Pierre Letouzey |
| 2014-03-04 | Move error and job display to the lower right pane. | Guillaume Melquiond |
| 2014-03-02 | Fix syntax highlighting of "Implicit Arguments" for gtksourceview. | Guillaume Melquiond |
| 2014-02-17 | CoqIDE: when coqtop misbehaves kill it properly (no zombie) | Enrico Tassi |
| 2014-02-17 | [nanoPG]: emacs like copy/paste | Enrico Tassi |
| 2014-01-30 | STM + CoqIDE: stop_worker message and UI | Enrico Tassi |
| 2014-01-30 | STM: tell the user if the master is recomputing states validated by workers | Enrico Tassi |
| 2014-01-26 | CoqIDE: command line for extra coqtop "flags" | Enrico Tassi |
| 2014-01-26 | CoqIDE: ported to spawn | Enrico Tassi |
| 2014-01-06 | CoqIDE: do not unfocus if not needed on errors (closes: 3197) | Enrico Tassi |
| 2014-01-05 | nanoPG: compete rewriting with more Emacs/PG like features | Enrico Tassi |
