aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/ide_slave.ml
Commit message (Expand)AuthorAge
* [proof] Attempt to deprecate some V82 parts of the proof API.Gravatar Emilio Jesus Gallego Arias2017-11-19
* [stm] Switch to a functional APIGravatar Emilio Jesus Gallego Arias2017-10-06
* Add XML protocol support for Wait.Gravatar Maxime Dénès2017-09-19
* Typo in the header of ide_slave.ml.Gravatar Hugo Herbelin2017-09-11
* Remove a few useless evar-normalizations in printing code.Gravatar Pierre-Marie Pédrot2017-07-26
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-07-04
|\
* | Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* | Merge PR#774: [ide] Add route_id parameter to query call.Gravatar Maxime Dénès2017-06-20
|\ \
| | * Change CoqIDE-specific to neutral wordingGravatar Paul Steckler2017-06-19
| * | [ide] Add route_id parameter to query call.Gravatar Emilio Jesus Gallego Arias2017-06-18
* | | [ide] Better exn printing. [fixes BZ#5524]Gravatar Emilio Jesus Gallego Arias2017-06-18
|/ /
* | Drop '.' from CErrors.anomaly, insert it in argsGravatar Jason Gross2017-06-02
* | Merge PR#481: [option] Remove support for non-synchronous options.Gravatar Maxime Dénès2017-05-25
|\ \
* \ \ Merge branch 'trunk' into located_switchGravatar Emilio Jesus Gallego Arias2017-05-24
|\ \ \
| | * | [option] Remove support for non-synchronous options.Gravatar Emilio Jesus Gallego Arias2017-05-24
| |/ /
| * | [ide] Disable `print_ast` call.Gravatar Emilio Jesus Gallego Arias2017-05-18
| * | Adding an option "Printing Unfocused".Gravatar Pierre Courtieu2017-05-04
| * | Remove uses of [Flags.make_silent]Gravatar Gaetan Gilbert2017-04-27
| * | Warning 29: non escaped end of line may be non portableGravatar Gaetan Gilbert2017-04-27
| * | Fix omitted labels in function callsGravatar Gaetan Gilbert2017-04-27
* | | [location] Make location optional in Loc.locatedGravatar Emilio Jesus Gallego Arias2017-04-25
* | | [location] Remove Loc.ghost.Gravatar Emilio Jesus Gallego Arias2017-04-25
|/ /
* | [ide] Fix #5482 "location for query commands" in IDE.Gravatar Emilio Jesus Gallego Arias2017-04-21
* | Merge PR#441: Port Toplevel to the Stm APIGravatar Maxime Dénès2017-04-12
|\ \
| * | [vernac] vernacentries.mli cleanupGravatar Emilio Jesus Gallego Arias2017-04-12
| * | [stm] Port the toplevel to the STM.Gravatar Emilio Jesus Gallego Arias2017-04-12
| * | [stm] Move main parsing entry point to the STM.Gravatar Emilio Jesus Gallego Arias2017-04-12
| * | [stm] Remove edit_id.Gravatar Emilio Jesus Gallego Arias2017-04-12
* | | Merge branch 'trunk' into pr379Gravatar Maxime Dénès2017-03-24
|\| |
| * | make check not CoqIDE-specificGravatar Paul Steckler2017-03-22
| * | [ide protocol] Add comment about leftover parameter.Gravatar Emilio Jesus Gallego Arias2017-03-21
| * | [xml] Restore protocol compatibility with 8.6.Gravatar Emilio Jesus Gallego Arias2017-03-21
| * | [pp] Remove uses of expensive string_of_ppcmds.Gravatar Emilio Jesus Gallego Arias2017-03-21
| * | [ide] Dynamic printing width.Gravatar Emilio Jesus Gallego Arias2017-03-21
| * | [ide] richpp clenaupGravatar Emilio Jesus Gallego Arias2017-03-21
| * | [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
| * | [pp] Remove unused printing tagging infrastructure.Gravatar Emilio Jesus Gallego Arias2017-03-21
| * | [ide] ide_slave doesnt't need to capture stdoutGravatar Emilio Jesus Gallego Arias2017-03-21
| * | [ide] Use "log via feedback".Gravatar Emilio Jesus Gallego Arias2017-03-21
* | | Merge branch 'master'.Gravatar Pierre-Marie Pédrot2017-02-14
|\| |
* | | Evar-normalizing functions now act on EConstrs.Gravatar Pierre-Marie Pédrot2017-02-14
* | | Removing compatibility layers related to printing.Gravatar Pierre-Marie Pédrot2017-02-14
* | | Goal API using EConstr.Gravatar Pierre-Marie Pédrot2017-02-14
| * | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-01-19
|/| | | |/
| * Fix broken .aux machinery.Gravatar Guillaume Melquiond2017-01-13
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-02
|\|
| * Merge branch 'v8.5' into v8.6Gravatar Maxime Dénès2016-09-30
| |\
| | * Make error message more helpful.Gravatar Théo Zimmermann2016-09-28
* | | Merge PR #244.Gravatar Pierre-Marie Pédrot2016-09-08
|\ \ \
* \ \ \ Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-09-07
|\ \ \ \ | | |/ / | |/| |