XML protocol - siegebell/vscoq GitHub Wiki
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.
- The state machine
- Commands
- Add
- EditAt
- Init
- Goal
- Status
- Query
- Evars
- Hints
- Search
- GetOptions
- SetOptions
- MkCases
- StopWorker
- PrintAst
- Annotate
- Feedback messages