Searched refs:versionString (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A Dproblems2tptp.sml131 val versionString = PROGRAM^" v"^VERSION^"\n"; value
135 version = versionString,
H A Dmetis.sml16 val versionString = PROGRAM^" "^VERSION^" (release 20110926)"^"\n"; value
92 version = versionString,
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A Dproblems2tptp.sml131 val versionString = PROGRAM^" v"^VERSION^"\n"; value
135 version = versionString,
H A Dmetis.sml16 val versionString = PROGRAM^" "^VERSION^" (release 20110926)"^"\n"; value
92 version = versionString,

Completed in 96 milliseconds