Searched defs:dirname (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools/
H A Dmake_iss.sml120 val dirname = String.translate trans dirname0 value
H A Dbuildutils.sml170 val dirname = value
[all...]
/seL4-l4v-10.1.1/HOL4/tools-poly/
H A Dsmart-configure.sml217 val (dirname, _) = frontlast arcs value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DParse.sml1258 val dirname = check_arcs (Path.toString {arcs=[],isAbs=isAbs,vol=vol}) arcs value

Completed in 159 milliseconds