Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Separate vernac controls and regular commands. | 2017-12-20 | |
* | Merge PR #1108: [stm] Reorganize flags | 2017-12-13 | |
|\ | |||
| * | [flags] [stm] Reorganize flags. | 2017-12-11 | |
* | | Don't Add LoadPath on CoqIDE startup, #6153 | 2017-12-05 | |
|/ | |||
* | [proof] Attempt to deprecate some V82 parts of the proof API. | 2017-11-19 | |
* | [stm] Switch to a functional API | 2017-10-06 | |
* | Add XML protocol support for Wait. | 2017-09-19 | |
* | Typo in the header of ide_slave.ml. | 2017-09-11 | |
* | Remove a few useless evar-normalizations in printing code. | 2017-07-26 | |
* | Merge branch 'v8.6' | 2017-07-04 | |
|\ | |||
* | | Bump year in headers. | 2017-07-04 | |
* | | Merge PR#774: [ide] Add route_id parameter to query call. | 2017-06-20 | |
|\ \ | |||
| | * | Change CoqIDE-specific to neutral wording | 2017-06-19 | |
| * | | [ide] Add route_id parameter to query call. | 2017-06-18 | |
* | | | [ide] Better exn printing. [fixes BZ#5524] | 2017-06-18 | |
|/ / | |||
* | | Drop '.' from CErrors.anomaly, insert it in args | 2017-06-02 | |
* | | Merge PR#481: [option] Remove support for non-synchronous options. | 2017-05-25 | |
|\ \ | |||
* \ \ | Merge branch 'trunk' into located_switch | 2017-05-24 | |
|\ \ \ | |||
| | * | | [option] Remove support for non-synchronous options. | 2017-05-24 | |
| |/ / | |||
| * | | [ide] Disable `print_ast` call. | 2017-05-18 | |
| * | | Adding an option "Printing Unfocused". | 2017-05-04 | |
| * | | Remove uses of [Flags.make_silent] | 2017-04-27 | |
| * | | Warning 29: non escaped end of line may be non portable | 2017-04-27 | |
| * | | Fix omitted labels in function calls | 2017-04-27 | |
* | | | [location] Make location optional in Loc.located | 2017-04-25 | |
* | | | [location] Remove Loc.ghost. | 2017-04-25 | |
|/ / | |||
* | | [ide] Fix #5482 "location for query commands" in IDE. | 2017-04-21 | |
* | | Merge PR#441: Port Toplevel to the Stm API | 2017-04-12 | |
|\ \ | |||
| * | | [vernac] vernacentries.mli cleanup | 2017-04-12 | |
| * | | [stm] Port the toplevel to the STM. | 2017-04-12 | |
| * | | [stm] Move main parsing entry point to the STM. | 2017-04-12 | |
| * | | [stm] Remove edit_id. | 2017-04-12 | |
* | | | Merge branch 'trunk' into pr379 | 2017-03-24 | |
|\| | | |||
| * | | make check not CoqIDE-specific | 2017-03-22 | |
| * | | [ide protocol] Add comment about leftover parameter. | 2017-03-21 | |
| * | | [xml] Restore protocol compatibility with 8.6. | 2017-03-21 | |
| * | | [pp] Remove uses of expensive string_of_ppcmds. | 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 | |
* | | | 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-01-19 | |
|/| | | |/ | |||
| * | Fix broken .aux machinery. | 2017-01-13 | |
* | | Merge branch 'v8.6' | 2016-10-02 | |
|\| |