| Age | Commit message (Expand) | Author |
|---|
| 2015-01-05 | Removing GUtil dependency from ide/document.ml. | Pierre-Marie Pédrot |
| 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 |
| 2014-12-17 | CoqIDE: cleanup jobs window on worker death | Enrico Tassi |
| 2014-12-17 | CThread: use a different type for thread friendly in_channels | Enrico Tassi |
| 2014-12-17 | CoqIDE: better messages | Enrico Tassi |
| 2014-12-16 | Getting rid of Exninfo hacks. | Pierre-Marie Pédrot |
| 2014-12-14 | Revert "Fixing bug #3817." | Pierre-Marie Pédrot |
| 2014-12-09 | Switch the few remaining iso-latin-1 files to utf8 | Pierre Letouzey |
| 2014-12-07 | Protecting from a List.nth when applying a command, e.g. C-w, on no CoqIDE bu... | Hugo Herbelin |
| 2014-12-07 | Ensuring that ide_slave and stm receive only .v files from CoqIDE. | Hugo Herbelin |
| 2014-12-01 | Remove dead code | Enrico Tassi |
| 2014-11-27 | Feedback: API cleaned up, documented and made user extensible | Enrico Tassi |
| 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 |
