coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/doc/xml-protocol.md

August 2026

coqbot-app[bot]
Merge PR #22327: Coqide server renamed to RocqIDE server (coqidetop -> rocqidetop)
committed
Hugo Martel
coqide-server: Renamed to rocqide-server
committed

July 2025

coqbot-app[bot]
Merge PR #20845: Rename repo references
committed
zimmi48.tngl.sh
Substitute all URLs to renamed repository.
committed

January 2025

coqbot-app[bot]
Merge PR #20036: Rename coqide -> rocqide
committed
Gaëtan Gilbert
Rename coqide -> rocqide
committed

June 2024

coqbot-app[bot]
Merge PR #19040: Fix passing line number of errors in xml protocol, causing ill-located or non-located errors, notably in the presence of utf8 characters
committed

May 2024

Hugo Herbelin
XML protocol: Passing the location line in the Fail case.
committed

January 2024

coqbot-app[bot]
Merge PR #18543: Fixed documentation XML Add call
committed
Andreas Florath
Fixed XML for Add call.
committed

July 2023

coqbot-app[bot]
Merge PR #17866: Fix broken link in XML protocol documentation.
committed
zimmi48.tngl.sh
Fix broken link in XML protocol documentation.
committed

June 2023

coqbot-app[bot]
Merge PR #17394: [vernac] Remove LoadPath edition vernacular commands
committed
coqbot-app[bot]
Merge PR #17382: [xml protocol] [coqide] Alternative PR fixing some loc problems in master.
committed
Emilio Jesus Gallego Arias
[vernac] Remove LoadPath edition vernacular commands
committed
Emilio Jesus Gallego Arias
[xml protocol] Changelog and correct outdated documentation.
committed

September 2022

coqbot-app[bot]
Merge PR #16567: Document the Subgoals XML command
committed
whonore
Document the Subgoals XML command
committed

November 2021

coqbot-app[bot]
Merge PR #14644: Debugger part 3: display call stack and variable values
committed
Jim Fehrle
Send stack and variable maps through Answer, document protocol
committed
Jim Fehrle
Add visual Ltac debugger in CoqIDE supporting breakpoints, highlighting stopping point, step over/out, call stack and variable display
committed

May 2021

Théo Zimmermann
Add examples from former detailed tactic examples chapter to their new location.
committed

April 2021

Pierre-Marie Pédrot
Merge PR #13783: Support the Ltac debugger in CoqIDE
committed
Jim Fehrle
[ltac debugger] Initial CoqIDE support using XML protocol
committed

January 2020

Hugo Herbelin
Merge PR #11433: [xml-protocol doc] Fix link to vscoq
committed
Ramkumar Ramachandra
[xml-protocol doc] Fix link to vscoq
committed
Hugo Herbelin
Removing text saying XML is future of PG, adding explicitly vscoq as a user
committed

October 2019

Théo Zimmermann
Merge PR #10942: Describe XML tags used for highlighting diff text
committed
Théo Zimmermann
Merge PR #10976: Fix link to `coq-notes.md`
committed
Michael D. Adams
Fix link to `coq-notes.md`
committed
Jim Fehrle
Describe XML tags used for highlighting diff text
committed

July 2019

Théo Zimmermann
Merge PR #10520: Fix typos
committed
Jim Fehrle
Typos
committed

May 2019

Théo Zimmermann
Merge PR #10203: Fixing typos - Part 1
committed
JPR
Fixing typos - Part 1
committed

July 2018

Théo Zimmermann
Merge PR #8020: Modify URLs in xml-protocol.md
committed
Rin Arakaki
Modify URLs in xml-protocol.md
committed
Rin Arakaki
Modify URLs in xml-protocol.md
committed

December 2017

Maxime Dénès
Merge PR #6507: [ide] [doc] Document tweak to Query call.
committed
Emilio Jesus Gallego Arias
[ide] [doc] Document tweak to Query call.
committed

October 2017

Maxime Dénès
Merge PR #1131: Clean-up xml protocol doc
committed
Théo Zimmermann
Make the XML protocol doc more version-independent
committed

September 2017

Maxime Dénès
Merge PR #1055: Remove STM vernaculars
committed
Maxime Dénès
Improve documentation of Status message.
committed

July 2017

William Lawvere
Merge remote-tracking branch 'upstream/trunk' into trunk
committed

June 2017

Maxime Dénès
Merge PR#774: [ide] Add route_id parameter to query call.
committed
Emilio Jesus Gallego Arias
[ide] Add route_id parameter to query call.
committed

April 2017

Maxime Dénès
Merge branch 'v8.6' into trunk
committed
Maxime Dénès
Fix EOL characters in xml protocol documentation.
committed
Maxime Dénès
Merge PR#563: add XML protocol doc for 8.6
committed