/seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/recursiveclean/ |
H A D | selftest.sml | 27 val dir = OS.FileSys.getDir() value
|
/seL4-l4v-10.1.1/HOL4/polyml/samplecode/ide/ |
H A D | use.sml | 49 val { dir = rootPath, ...} = splitDirFile saveDirPath value
|
/seL4-l4v-10.1.1/HOL4/polyml/Tests/ |
H A D | RunTests.sml | 106 val dir = openDir testPath value
|
/seL4-l4v-10.1.1/HOL4/src/integer/ |
H A D | CooperMath.sig | 17 datatype dir = Left | Right type
|
H A D | CooperMath.sml | 87 datatype dir = Left | Right type
|
/seL4-l4v-10.1.1/HOL4/developers/ |
H A D | genUseScript.sml | 110 "local val dir = OS.FileSys.getDir()\n\ value
|
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ |
H A D | NormalVertex.java | 17 String label="",path="",dir="",ID=""; field in class:NormalVertex
|
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | NormalVertex.java | 17 String label="",path="",dir="",ID=""; field in class:NormalVertex
|
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/ |
H A D | tttOpen.sml | 41 val dir = OS.Path.dir file value 56 val dir = OS.Path.dir file value 72 val dir = OS.Path.dir file value 128 val dir value 170 let val dir = ttt_open_dir ^ "/" ^ s in value [all...] |
H A D | tttRecord.sml | 300 val dir = tactictoe_dir ^ "/print_proof" value [all...] |
H A D | tttUnfold.sml | 1040 let val dir = value 1081 val dir = #dir (OS.Path.splitDirFile file) value 1089 val dir value [all...] |
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | unix-systeml.sml | 48 val {dir,file} = Path.splitDirFile myname value
|
H A D | winNT-systeml.sml | 64 val {dir,file} = Path.splitDirFile myname value
|
H A D | basis2002.sml | 584 val dir : string -> string value
|
/seL4-l4v-10.1.1/HOL4/tools-poly/Holmake/ |
H A D | unix-systeml.sml | 39 val {dir,file} = Path.splitDirFile myname value
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
H A D | ffi.c | 55 const int dir = (cabi == FFI_PASCAL || cabi == FFI_REGISTER) ? -1 : +1; local 60 #define dir 1 macro 529 const int dir = (cabi == FFI_PASCAL || cabi == FFI_REGISTER) ? -1 : +1; local 537 #define dir 1 macro [all...] |
/seL4-l4v-10.1.1/HOL4/help/src-sml/ |
H A D | HOLPage.sml | 32 val {dir,file} = splitDirFile docfile value
|
H A D | makebase.sml | 32 val {dir,file} = splitDirFile path value 217 let val {dir,file} = OS.Path.splitDirFile path value
|
H A D | Htmlsigs.sml | 30 val {dir,file} = splitDirFile path value 44 val {dir,file} = splitDirFile docfile value
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
H A D | closures.c | 286 open_temp_exec_file_dir (const char *dir) argument
|
/seL4-l4v-10.1.1/HOL4/tools-poly/ |
H A D | configure.sml | |
/seL4-l4v-10.1.1/HOL4/src/TeX/ |
H A D | EmitTeX.sml | 780 let val {dir, file} = Path.splitDirFile path value 781 val dir = if Path.isAbsolute path orelse !emitTeXDir = "" then value
|
/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/ |
H A D | Logging.sml | 757 val dir = case d of value
|
/seL4-l4v-10.1.1/HOL4/tools/ |
H A D | buildutils.sml | 774 let val dir = OS.Path.concat(OS.Path.concat (HOLDIR,"help"),"src-sml") value [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | OS.sml | 74 val dir : string -> string value 120 val dir : iodesc_kind value 478 fun dir s = #dir(splitDirFile s) function 945 val dir : iodesc_kind = 1 value [all...] |