-
Notifications
You must be signed in to change notification settings - Fork 68
Command: Status
CJ Bell edited this page Nov 28, 2016
·
3 revisions
CoqIDE typically sets force
to false
.
<call val="Status"><bool val="${force}"/></call>
<status>
<list><string>${pathPart1}</string>...<string>${pathPartN}</string></list>
<string>${proofName}</string>
<list><string>${pendingProof1}</string>...<string>${pendingProofN}</string></list>
<int>${proofNumber}</int>
</status>