Searched defs:tgt (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/tools/Holmake/
H A DHM_DepGraph.sml
/seL4-l4v-master/HOL4/tools/
H A Dconfigure.sml490 val tgt = fullPath [holdir, "bin/unquote"] value
/seL4-l4v-master/HOL4/tools/Holmake/poly/
H A DBuildCommand.sml172 val tgt = modName ^ ".ui" value
184 val tgt = modName ^ ".uo" value

Completed in 48 milliseconds