Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | | | | [coqide] Protect against size_allocate race in proofview. | 2017-03-28 | ||
|/ / / / | ||||
| | * | | Merge branch 'trunk' into pr379 | 2017-03-24 | ||
| | |\ \ | |_|/ / |/| | | | ||||
| * | | | Replacing "cast surgery" in LetIn by a proper field (see PR #404). | 2017-03-24 | ||
| * | | | Unifying standard "constr_level" names for constructors of local_binder_expr. | 2017-03-24 | ||
| * | | | "Standardizing" the name LocalPatten into LocalRawPattern. | 2017-03-24 | ||
|/ / / | ||||
* | | | make check not CoqIDE-specific | 2017-03-22 | ||
* | | | [ide protocol] Add comment about leftover parameter. | 2017-03-21 | ||
* | | | [pp] Hide the internal representation of `std_ppcmds`. | 2017-03-21 | ||
* | | | [pp] Fix bug in richpp Format use. | 2017-03-21 | ||
* | | | [xml] Restore protocol compatibility with 8.6. | 2017-03-21 | ||
* | | | [pp] Remove uses of expensive string_of_ppcmds. | 2017-03-21 | ||
* | | | [pp] [ide] Minor cleanups in pp code. | 2017-03-21 | ||
* | | | [pp] Move terminal-specific tagging to the toplevel. | 2017-03-21 | ||
* | | | [pp] Remove special tag type and handler from Pp. | 2017-03-21 | ||
* | | | [ide] Dynamic printing width. | 2017-03-21 | ||
* | | | [ide] richpp clenaup | 2017-03-21 | ||
* | | | [pp] Make feedback the only logging mechanism. | 2017-03-21 | ||
* | | | [pp] Remove unused printing tagging infrastructure. | 2017-03-21 | ||
* | | | [ide] ide_slave doesnt't need to capture stdout | 2017-03-21 | ||
* | | | [ide] Use "log via feedback". | 2017-03-21 | ||
* | | | [safe-string] ide | 2017-03-14 | ||
| * | | Merge branch 'master'. | 2017-02-14 | ||
| |\ \ | |/ / |/| | | ||||
| * | | Evar-normalizing functions now act on EConstrs. | 2017-02-14 | ||
| * | | Removing compatibility layers related to printing. | 2017-02-14 | ||
| * | | Goal API using EConstr. | 2017-02-14 | ||
* | | | Merge branch 'v8.6' | 2017-02-01 | ||
|\ \ \ | | |/ | |/| | ||||
* | | | Merge PR#355: Remove unused feedback_content: Goals | 2017-01-30 | ||
|\ \ \ | ||||
| | * | | Fix documentation typos. | 2017-01-27 | ||
* | | | | Merge branch 'v8.6' | 2017-01-19 | ||
|\ \ \ \ | | |/ / | |/| | | ||||
| * | | | Fix broken .aux machinery. | 2017-01-13 | ||
* | | | | Merge branch 'v8.6' | 2016-12-07 | ||
|\| | | | ||||
| * | | | [merlin] Adjust merlin for ide. | 2016-11-30 | ||
| * | | | Fix some documentation typos. | 2016-11-24 | ||
* | | | | Merge branch 'v8.6' | 2016-11-18 | ||
|\| | | | |_|/ |/| | | ||||
| * | | Revert "Merge remote-tracking branch 'github/pr/360' into v8.6" | 2016-11-18 | ||
| * | | [stm] Remove STM-related vernaculars | 2016-11-17 | ||
| * | | Coqide: fixing default local links for refman and stdlib. | 2016-11-11 | ||
| * | | Making explicit that a result is discarded (ocaml warning). | 2016-11-11 | ||
| | * | Remove unused feedback_content: Goals | 2016-11-10 | ||
| |/ |/| | ||||
* | | Merge branch 'v8.6' | 2016-10-05 | ||
|\| | ||||
* | | Merge branch 'v8.6' | 2016-10-02 | ||
|\ \ | ||||
| | * | Add command 'Set foo Append "bar"' for appending to an option (bug #5109). | 2016-10-01 | ||
| |/ | ||||
| * | Merge branch 'v8.5' into v8.6 | 2016-09-30 | ||
| |\ | ||||
| * | | Fix bug #4798: compat notations should not modify the parser. | 2016-09-29 | ||
| * | | Do not stop propagation of signals when Coq is busy (bug #3941). | 2016-09-28 | ||
| | * | Make error message more helpful. | 2016-09-28 | ||
| * | | Fix bug #4553: CoqIDE gives warnings about deprecated GTK features. | 2016-09-27 | ||
* | | | Revert "Merge remote-tracking branch 'github/pr/283' into trunk" | 2016-09-22 | ||
* | | | Merge remote-tracking branch 'github/pr/283' into trunk | 2016-09-22 | ||
|\ \ \ | ||||
* | | | | Removing dead code in CoqIDE. | 2016-09-21 |