Overview‎ > ‎Proofs‎ > ‎

getProofSourceFiles()

Returns proof source files information.

Since version: 17.17


Request parameters

* denotes a required field

Parameter nameDescription Type Example API version
 SessionIDThe session Id obtained from doLogin() string noA3ZjIxYWIyN2E3ZDIyYzQ4 
 FileIDProof identifier int 123 

Response

Comments