Skip to content

XML protocol

Jump to bottom Edit New page
CJ Bell edited this page Oct 8, 2016 · 5 revisions

This documentation aims to provide a "hands on" description of the XML protocol that coqtop and coqide use to communicate. A somewhat out-of-date description of the async state machine is documented here. Typings for the protocol can be found here.

  • Feedback messages
Add a custom footer
Add a custom sidebar
Clone this wiki locally