Module Qcert.Version
This module defines Q*cert's version number
Require
Import
String
.
Section
Version
.
Variables are defined as strings
Definition
qcert_version
:= "2.0.0"%
string
.
End
Version
.