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

Documentation of return value

<status>
  <list><string>${pathPart1}</string>...<string>${pathPartN}</string></list>
  <string>${proofName}</string>
  <list><string>${pendingProof1}</string>...<string>${pendingProofN}</string></list>
  <int>${proofNumber}</int>
</status>