Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge branch 'trunk' into pr379 | Maxime Dénès | 2017-03-24 |
|\ | |||
| * | make check not CoqIDE-specific | Paul Steckler | 2017-03-22 |
| * | [ide protocol] Add comment about leftover parameter. | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | [pp] Hide the internal representation of `std_ppcmds`. | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | [pp] Fix bug in richpp Format use. | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | [xml] Restore protocol compatibility with 8.6. | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | [pp] Remove uses of expensive string_of_ppcmds. | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | [pp] [ide] Minor cleanups in pp code. | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | [pp] Move terminal-specific tagging to the toplevel. | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | [pp] Remove special tag type and handler from Pp. | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | [ide] Dynamic printing width. | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | [ide] richpp clenaup | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | [pp] Make feedback the only logging mechanism. | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | [pp] Remove unused printing tagging infrastructure. | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | [ide] ide_slave doesnt't need to capture stdout | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | [ide] Use "log via feedback". | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | [safe-string] ide | Emilio Jesus Gallego Arias | 2017-03-14 |
* | | Merge branch 'master'. | Pierre-Marie Pédrot | 2017-02-14 |
|\| | |||
* | | Evar-normalizing functions now act on EConstrs. | Pierre-Marie Pédrot | 2017-02-14 |
* | | Removing compatibility layers related to printing. | Pierre-Marie Pédrot | 2017-02-14 |
* | | Goal API using EConstr. | Pierre-Marie Pédrot | 2017-02-14 |
| * | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2017-02-01 |
| |\ | |||
| * \ | Merge PR#355: Remove unused feedback_content: Goals | Maxime Dénès | 2017-01-30 |
| |\ \ | |||
| | | * | Fix documentation typos. | Guillaume Melquiond | 2017-01-27 |
| * | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2017-01-19 |
| |\ \ \ | | | |/ | | |/| | |||
| | * | | Fix broken .aux machinery. | Guillaume Melquiond | 2017-01-13 |
| * | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-12-07 |
| |\| | | |||
| | * | | [merlin] Adjust merlin for ide. | Emilio Jesus Gallego Arias | 2016-11-30 |
| | * | | Fix some documentation typos. | Guillaume Melquiond | 2016-11-24 |
| * | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-11-18 |
|/| | | | |/ / | |||
| * | | Revert "Merge remote-tracking branch 'github/pr/360' into v8.6" | Maxime Dénès | 2016-11-18 |
| * | | [stm] Remove STM-related vernaculars | Emilio Jesus Gallego Arias | 2016-11-17 |
| * | | Coqide: fixing default local links for refman and stdlib. | Hugo Herbelin | 2016-11-11 |
| * | | Making explicit that a result is discarded (ocaml warning). | Hugo Herbelin | 2016-11-11 |
| | * | Remove unused feedback_content: Goals | CJ Bell | 2016-11-10 |
| |/ |/| | |||
* | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-05 |
|\| | |||
* | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-02 |
|\ \ | |||
| | * | Add command 'Set foo Append "bar"' for appending to an option (bug #5109). | Guillaume Melquiond | 2016-10-01 |
| |/ | |||
| * | Merge branch 'v8.5' into v8.6 | Maxime Dénès | 2016-09-30 |
| |\ | |||
| * | | Fix bug #4798: compat notations should not modify the parser. | Pierre-Marie Pédrot | 2016-09-29 |
| * | | Do not stop propagation of signals when Coq is busy (bug #3941). | Guillaume Melquiond | 2016-09-28 |
| | * | Make error message more helpful. | Théo Zimmermann | 2016-09-28 |
| * | | Fix bug #4553: CoqIDE gives warnings about deprecated GTK features. | Pierre-Marie Pédrot | 2016-09-27 |
* | | | Revert "Merge remote-tracking branch 'github/pr/283' into trunk" | Maxime Dénès | 2016-09-22 |
* | | | Merge remote-tracking branch 'github/pr/283' into trunk | Maxime Dénès | 2016-09-22 |
|\ \ \ | |||
* | | | | Removing dead code in CoqIDE. | Pierre-Marie Pédrot | 2016-09-21 |
| * | | | Stylistic improvements in intf/decl_kinds.mli. | Maxime Dénès | 2016-09-20 |
|/ / / | |||
* | | | Make the Coq codebase independent from Ltac-related code. | Pierre-Marie Pédrot | 2016-09-16 |
|\ \ \ | |||
* \ \ \ | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-09-14 |
|\ \ \ \ | | |/ / | |/| | | |||
| * | | | CoqIDE: push to message win feedback Message(Debug,Info,Notice) | Enrico Tassi | 2016-09-13 |