8000 Command: Status · siegebell/vscoq Wiki · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Command: Status

Jump to bottom Edit New page
CJ Bell edited this page Nov 28, 2016 · 3 revisions

Status(force: bool)

CoqIDE typically sets force to false.

<call val="Status"><bool val="${force}"/></call>

Returns

<status>
  <list><string>${pathPart1}</string>...<string>${pathPartN}</string></list>
  <string>${proofName}</string>
  <list><string>${pendingProof1}</string>...<string>${pendingProofN}</string></list>
  <int>${proofNumber}</int>
</status>
Add a custom footer
Add a custom sidebar
Clone this wiki locally
0