| Age | Commit message (Expand) | Author |
|---|
| 2018-02-17 | Change references to CAMLP4 to CAMLP5 to be more accurate since we no | Jim Fehrle |
| 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 |
| 2017-07-28 | Merge PR #823: Async off in Windows by default in CoqIDE | Maxime Dénès |
| 2017-07-27 | deprecate Pp.std_ppcmds type alias | Matej Košík |
| 2017-07-26 | Remove a few useless evar-normalizations in printing code. | Pierre-Marie Pédrot |
| 2017-07-04 | Merge branch 'v8.6' | Pierre-Marie Pédrot |
| 2017-07-04 | Bump year in headers. | Pierre-Marie Pédrot |
| 2017-06-26 | disable async on Windows by default | Paul Steckler |
| 2017-06-21 | [ide] Correct more merging errors. | Emilio Jesus Gallego Arias |
| 2017-06-20 | Default colors for CoqIDE are actually applied. | Cyprien Mangin |
| 2017-06-20 | Merge PR#774: [ide] Add route_id parameter to query call. | Maxime Dénès |
| 2017-06-19 | Merge PR#795: [ide] Better exn printing. [fixes BZ#5524] | Maxime Dénès |
| 2017-06-19 | Change CoqIDE-specific to neutral wording | Paul Steckler |
| 2017-06-18 | [ide] Add route_id parameter to query call. | Emilio Jesus Gallego Arias |
| 2017-06-18 | [ide] Better exn printing. [fixes BZ#5524] | Emilio Jesus Gallego Arias |
| 2017-06-16 | Fix bugs and add an option for cumulativity | Amin Timany |
| 2017-06-02 | Drop '.' from CErrors.anomaly, insert it in args | Jason Gross |
| 2017-06-01 | Bump year in headers. | Maxime Dénès |
| 2017-05-30 | [ide] Correct merging error. | Emilio Jesus Gallego Arias |
| 2017-05-30 | Merge PR#356: Making management of installation directories more structured, ... | Maxime Dénès |
