| Age | Commit message (Expand) | Author |
|---|
| 2014-11-24 | Fixing bug #3817. | Pierre-Marie Pédrot |
| 2014-11-15 | Reworking the -color flag of coqtop. | Pierre-Marie Pédrot |
| 2014-11-06 | Fixing compilation (name of module Richprinter) I partially feel | Hugo Herbelin |
| 2014-11-04 | ide/Xmlprotocol: Cosmetics. | Yann Régis-Gianas |
| 2014-11-04 | ide/Ide_slave.annotate: Implement annotate. | Regis-Gianas |
| 2014-11-04 | ide/{ide_slave.ml, interfaces}: Coerce input and output of requests between i... | Regis-Gianas |
| 2014-11-04 | ide/wg_ProofView: Do not refer to the {Proof} internal module, use {Interface... | Regis-Gianas |
| 2014-11-04 | ide/{Xmlprotocol,Interface,Ide_slave}: New command "annotate". | Regis-Gianas |
| 2014-10-24 | Install index_urls.txt in a location where coqide might actually find it. | Guillaume Melquiond |
| 2014-10-24 | Fixing order of hypothesis in goal hypotheses compaction for coqtop. | Hugo Herbelin |
| 2014-10-23 | fix parsing of ---- +++++ ***** in CoqIDE | Enrico Tassi |
| 2014-10-22 | Pushing Pierre's factorization of names in goal context printing from | Hugo Herbelin |
| 2014-10-22 | CoqIDE: fix parsing of multicharacter bullets | Enrico Tassi |
| 2014-10-22 | Fix the way lexeme start is computed (Close 3737) | Enrico Tassi |
| 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 |
