Command: Status

Jump to bottom

Romain Tetley edited this page Oct 28, 2024 · 1 revision

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>