Command: Status - siegebell/vscoq GitHub Wiki

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>

⚠️ GitHub.com Fallback ⚠️