| Age | Commit message (Expand) | Author |
|---|
| 2018-04-12 | Attempt to fix the doubly encapsulated Ltac errors in coqide. | Hugo Herbelin |
| 2018-04-05 | Remove unused script. | Théo Zimmermann |
| 2018-03-28 | coqide: avoid marking sentences that are not in the document anymore | Enrico Tassi |
| 2018-03-11 | [vernac] Move `Quit` and `Drop` to the toplevel layer. | Emilio Jesus Gallego Arias |
| 2018-03-09 | [located] Push inner locations in `reference` to a CAst.t node. | Emilio Jesus Gallego Arias |
| 2018-03-09 | [located] More work towards using CAst.t | Emilio Jesus Gallego Arias |
| 2018-03-09 | Merge PR #6923: Export options | Maxime Dénès |
| 2018-03-09 | Implement the Export Set/Unset feature. | Pierre-Marie Pédrot |
| 2018-03-09 | Export the various option localities in the API. | Pierre-Marie Pédrot |
| 2018-03-08 | coqide: queries from the query window are routed there (fix #5684) | Enrico Tassi |
| 2018-03-05 | Merge PR #6855: Update headers following #6543. | Maxime Dénès |
| 2018-02-28 | [econstr] Continue consolidation of EConstr API under `interp`. | Emilio Jesus Gallego Arias |
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 2018-02-19 | Merge PR #6753: [toplevel] Make toplevel state into a record. | Maxime Dénès |
| 2018-02-19 | Merge PR #6646: Change references to CAMLP4 to CAMLP5 since we no longer use ... | Maxime Dénès |
| 2018-02-17 | Change references to CAMLP4 to CAMLP5 to be more accurate since we no | Jim Fehrle |
| 2018-02-15 | [toplevel] Make toplevel state into a record. | Emilio Jesus Gallego Arias |
| 2018-02-15 | [ide] Localize a IDE-specific flag. | Emilio Jesus Gallego Arias |
| 2018-02-09 | [toplevel] Refactor command line argument handling. | Emilio Jesus Gallego Arias |
| 2018-01-26 | allow vernacular controls before focus selector, issue #6587 | Paul Steckler |
| 2018-01-22 | Merge PR #6625: Update location on tab switch, issue 6624 | Maxime Dénès |
| 2018-01-19 | update location on tab switch, issue 6624 | Paul Steckler |
| 2018-01-18 | add flash infos about wrap, not found, no. of replacements, no. of finds, iss... | Paul Steckler |
| 2018-01-16 | Merge PR #6551: Bracket with goal selector | Maxime Dénès |
| 2018-01-10 | Add interfaces for IDE and remove dead code. | Maxime Dénès |
| 2018-01-05 | Brackets support single numbered goal selectors. | Théo Zimmermann |
| 2017-12-27 | Remove query-in-IDE warning. | Maxime Dénès |
| 2017-12-20 | Separate vernac controls and regular commands. | Maxime Dénès |
| 2017-12-18 | Merge PR #6261: Use \ocaml macro in Extraction chapter; accept OCaml in Extra... | Maxime Dénès |
| 2017-12-13 | Merge PR #1108: [stm] Reorganize flags | Maxime Dénès |
| 2017-12-11 | [flags] [stm] Reorganize flags. | Emilio Jesus Gallego Arias |
| 2017-12-05 | use \ocaml macro in Extraction chapter; accept OCaml in Extraction Language | Paul Steckler |
| 2017-12-05 | Don't Add LoadPath on CoqIDE startup, #6153 | Paul Steckler |
| 2017-11-19 | [proof] Attempt to deprecate some V82 parts of the proof API. | Emilio Jesus Gallego Arias |
| 2017-11-13 | [ci] [coq] Complete 4.06.0 support. | Emilio Jesus Gallego Arias |
| 2017-10-22 | Little code restructuration in CoqIDE tags. | Hugo Herbelin |
| 2017-10-22 | An attempt to fix issue #5771 (error color hidden by warning color). | Hugo Herbelin |
| 2017-10-11 | Remove GeoProof support. | Maxime Dénès |
| 2017-10-06 | [stm] Switch to a functional API | Emilio Jesus Gallego Arias |
| 2017-09-29 | [ide] Avoid duplicate error printing (BZ#5583) | Emilio Jesus Gallego Arias |
| 2017-09-19 | Add XML protocol support for Wait. | Maxime Dénès |
| 2017-09-15 | Merge PR #1042: Fixing minor typos in stm/coqide | Maxime Dénès |
| 2017-09-11 | Typo in the header of ide_slave.ml. | Hugo Herbelin |
| 2017-09-11 | Coqide: adding a separating space in some debugging messages. | Hugo Herbelin |
| 2017-09-06 | use get_arguments, String.concat, remove -I | Paul Steckler |
| 2017-09-05 | read flags from project file for Compile Buffer | Paul Steckler |
| 2017-08-23 | Fix BZ#5687: Coqtop died badly modal message box from CoqIDE. | Pierre-Marie Pédrot |
| 2017-08-08 | Set detachable windows type hint to dialog. | Olivier Marty |
| 2017-08-01 | Merge PR #919: Remove a few useless evar-normalizations in printing code. | Maxime Dénès |
| 2017-07-31 | Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t instead | Maxime Dénès |
