| /seL4-l4v-master/HOL4/tools/Holmake/tests/recursiveclean/ |
| H A D | selftest.sml | 27 val dir = OS.FileSys.getDir() value
|
| /seL4-l4v-master/HOL4/tools/Holmake/poly/ |
| H A D | GraphExtra.sml | 23 val {dir,file} = OS.Path.splitDirFile (hmdir.toAbsPath fp) value
|
| H A D | multibuild.sml | 75 val dir = Holmake_tools.hmdir.toAbsPath (#dir nI) value
[all...] |
| H A D | BuildCommand.sml | 91 val dir = OS.FileSys.getDir() value
|
| /seL4-l4v-master/HOL4/polyml/samplecode/ide/ |
| H A D | use.sml | 49 val { dir = rootPath, ...} = splitDirFile saveDirPath value
|
| /seL4-l4v-master/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-master/HOL4/polyml/Tests/ |
| H A D | RunTests.sml | 116 val dir = openDir testPath value
|
| /seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ |
| H A D | NormalVertex.java | 17 String label="",path="",dir="",ID=""; field in class:NormalVertex
|
| /seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ |
| H A D | NormalVertex.java | 17 String label="",path="",dir="",ID=""; field in class:NormalVertex
|
| /seL4-l4v-master/HOL4/developers/ |
| H A D | genUseScript.sml | 109 "local val dir = OS.FileSys.getDir()\n\ value
|
| /seL4-l4v-master/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 | Holmake_tools.sml | 644 val {dir,file} = OS.Path.splitDirFile s value
|
| H A D | Holmake.sml | 707 val dir = hm_target.dirpart tgt and target = hm_target.filepart tgt value
[all...] |
| /seL4-l4v-master/HOL4/tools-poly/Holmake/ |
| H A D | unix-systeml.sml | 39 val {dir,file} = Path.splitDirFile myname value
|
| /seL4-l4v-master/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-master/HOL4/src/AI/sml_inspection/ |
| H A D | smlOpen.sml | 148 val dir = sml_open_dir ^ "/" ^ s value
185 let val dir = sml_open_dir ^ "/" ^ s in value
[all...] |
| /seL4-l4v-master/HOL4/src/tactictoe/src/ |
| H A D | tttEval.sml | 246 val dir value
[all...] |
| /seL4-l4v-master/HOL4/tools-poly/ |
| H A D | configure.sml | |
| /seL4-l4v-master/HOL4/src/TeX/ |
| H A D | EmitTeX.sml | 803 let val {dir, file} = Path.splitDirFile path value
804 val dir = if Path.isAbsolute path orelse !emitTeXDir = "" then value
|
| /seL4-l4v-master/HOL4/src/opentheory/postbool/ |
| H A D | Logging.sml | 757 val dir = case d of value
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | TopLevelPolyML.sml | 660 val dir = findInt (Context(3, Primitive)) tdList value
|