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

/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dinternal_functions.sml267 fun shell arg = function
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DBase.sml76 and shell: string -> Foreign.symbol value
349 and shell sym = getSymbol(loadLibrary "shell32.DLL") sym function
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DFinalPolyML.sml1773 fun shell () = function
H A DPosix.sml386 val shell : passwd -> string value
1418 and shell: passwd->string = #5 value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dxwindows.cpp6189 Widget shell; local
6247 char name[100]; Widget shell; local
[all...]

Completed in 193 milliseconds