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

/seL4-l4v-master/HOL4/src/TeX/
H A Dmkmkmunge.sml6 val exe = case exeopt of value
/seL4-l4v-master/HOL4/tools/Holmake/
H A DwinNT-systeml.sml43 let val exe = file^".exe" value
/seL4-l4v-master/HOL4/tools-poly/Holmake/
H A DwinNT-systeml.sml38 let val exe = file^".exe" value

Completed in 35 milliseconds