Searched defs:POLY_VERSION (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DSysteml.sig25 val POLY_VERSION : int value
H A Dunix-systeml.sml98 val POLY_VERSION = 0 value
H A DwinNT-systeml.sml89 val POLY_VERSION = 0 value
/seL4-l4v-10.1.1/HOL4/tools-poly/Holmake/
H A Dunix-systeml.sml93 val POLY_VERSION = PolyML.Compiler.compilerVersionNumber value
H A DwinNT-systeml.sml63 val POLY_VERSION = PolyML.Compiler.compilerVersionNumber value

Completed in 68 milliseconds