aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/xmlprotocol.ml
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [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
* deprecate Pp.std_ppcmds type aliasGravatar Matej Košík2017-07-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [ide] Add route_id parameter to query call.Gravatar Emilio Jesus Gallego Arias2017-06-18
* [location] Remove Loc.ghost.Gravatar Emilio Jesus Gallego Arias2017-04-25
* [stm] Remove edit_id.Gravatar Emilio Jesus Gallego Arias2017-04-12
* [ide] Fix typo in pp serialization.Gravatar Emilio Jesus Gallego Arias2017-03-29
* [pp] Hide the internal representation of `std_ppcmds`.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [xml] Restore protocol compatibility with 8.6.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Remove special tag type and handler from Pp.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
* [ide] Use "log via feedback".Gravatar Emilio Jesus Gallego Arias2017-03-21
* Remove unused feedback_content: GoalsGravatar CJ Bell2016-11-10
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* [xmlproto] Remove duplicated deserialization.Gravatar Emilio Jesus Gallego Arias2016-06-25
* [feedback] Remove `ErrorMsg` in favor of `Message Error`.Gravatar Emilio Jesus Gallego Arias2016-06-25
* [feedback] Allow messages to carry a location.Gravatar Emilio Jesus Gallego Arias2016-06-25
* [feedback] Remove unused tag on `Debug` level.Gravatar Emilio Jesus Gallego Arias2016-06-25
* xmlprotocol: fix unmarshaling of Feedback.MessageGravatar Enrico Tassi2016-06-06
* xmlprotocol: uncomment marshalling code for custom messageGravatar Enrico Tassi2016-06-06
* xmlprotocol: Marshal_error carries the reasonGravatar Enrico Tassi2016-06-06
* Encapsulate xml serialization in xmlprotocol.mliGravatar Emilio Jesus Gallego Arias2016-06-02
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Using GADTs in Xmlprotocol.Gravatar Pierre-Marie Pédrot2015-10-22
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-09
|\|
| * Goptions: new value type: optional stringGravatar Enrico Tassi2015-10-08
* | Rich printing of CoqIDE protocol failure.Gravatar Pierre-Marie Pédrot2015-09-20
* | Rich printing of messages.Gravatar Pierre-Marie Pédrot2015-09-20
* | Rich printing of goals.Gravatar Pierre-Marie Pédrot2015-09-20
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* ide/Xmlprotocol: Cosmetics.Gravatar Yann Régis-Gianas2014-11-04
* ide/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".Gravatar Regis-Gianas2014-11-04
* STM: report the (structured) goals as XMLGravatar Carst Tankink2014-10-01
* CoqIDE: new message to print ASTGravatar Enrico Tassi2014-09-29
* STM: code restructured to reuse task queue for tacticsGravatar Enrico Tassi2014-08-05
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 16:21:46 +0000