Searched refs:dir1 (Results 1 - 19 of 19) sorted by relevance
/seL4-l4v-master/HOL4/tools/Holmake/tests/badincludes/ |
H A D | selftest.sml | 29 val _ = inDir "dir1" (t "Bad INCLUDES line in a Holmakefile") []
|
/seL4-l4v-master/HOL4/tools/Holmake/tests/recursiveclean/ |
H A D | selftest.sml | 18 val testfiles = ["../depchain1/dir3/foo.uo", "../depchain1/dir2/dir1/bar.uo",
|
/seL4-l4v-master/isabelle/src/Pure/Admin/ |
H A D | build_polyml.scala | 130 val dir1 = sha1_root.get 131 bash(dir1, "./build " + platform_64, redirect = true, echo = true).check 133 val dir2 = dir1 + Path.explode(platform_64)
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/ |
H A D | build_polyml.scala | 130 val dir1 = sha1_root.get 131 bash(dir1, "./build " + platform_64, redirect = true, echo = true).check 133 val dir2 = dir1 + Path.explode(platform_64)
|
/seL4-l4v-master/HOL4/examples/AI_tasks/ |
H A D | mleDiophSynt.sml | 341 val dir1 = HOLDIR ^ "/examples/AI_tasks/dioph_results_nolimit"; 342 val _ = mkDir_err dir1; 354 val dir2 = dir1 ^ "/" ^ dataset ^ "_uniform"; 360 val dir2 = dir1 ^ "/" ^ dataset ^ "_distance"; 366 val dir2 = dir1 ^ "/" ^ dataset ^ "_tnn"; 377 val dir2 = dir1 ^ "/" ^ dataset ^ "_uniform"; 383 val dir2 = dir1 ^ "/" ^ dataset ^ "_distance"; 389 val dir2 = dir1 ^ "/" ^ dataset ^ "_tnn";
|
H A D | mleCombinSynt.sml | 388 val dir1 = HOLDIR ^ "/examples/AI_tasks/combin_results"; 389 val _ = mkDir_err dir1; 402 val dir2 = dir1 ^ "/" ^ dataset ^ "_uniform"; 408 val dir2 = dir1 ^ "/" ^ dataset ^ "_tnn"; 419 val dir2 = dir1 ^ "/" ^ dataset ^ "_uniform"; 425 val dir2 = dir1 ^ "/" ^ dataset ^ "_tnn";
|
/seL4-l4v-master/HOL4/polyml/modules/ |
H A D | Makefile.in | 167 while test -n "$$dir1"; do \ 168 first=`echo "$$dir1" | sed -e "$$sed_first"`; \ 183 dir1=`echo "$$dir1" | sed -e "$$sed_rest"`; \ 505 dir1=$$subdir; dir2="$(distdir)/$$subdir"; \ 508 dir1=$$subdir; dir2="$(top_distdir)"; \
|
/seL4-l4v-master/isabelle/src/Pure/System/ |
H A D | isabelle_system.scala | 167 def copy_dir(dir1: Path, dir2: Path): Unit = 168 bash("cp -a " + File.bash_path(dir1) + " " + File.bash_path(dir2)).check
|
/seL4-l4v-master/l4v/isabelle/src/Pure/System/ |
H A D | isabelle_system.scala | 167 def copy_dir(dir1: Path, dir2: Path): Unit = 168 bash("cp -a " + File.bash_path(dir1) + " " + File.bash_path(dir2)).check
|
/seL4-l4v-master/HOL4/tools/unicode-grep/ |
H A D | ugrep.sml | 276 \ " ^ CommandLine.name() ^ " [options] dir1 dir2 .. dirn\n\n\ 314 echo " $0 dir1 dir2 .. dirn"
|
/seL4-l4v-master/HOL4/tools-poly/poly/ |
H A D | Help.sml | 199 | openFile (dir1 :: dirr) = 200 (TextIO.openIn (joinDirFile dir1 file))
|
/seL4-l4v-master/HOL4/src/integer/ |
H A D | CooperMath.sml | 678 val (dir1, dir2) = if var_onL < var_onR then (Left, Right) value 682 move_terms_from tt dir1 (free_in var) THENC 723 List.find is_int_literal (strip_plus (dir_of_pair dir1 (l,r))) 738 move_terms_from tt dir1 is_mult THENC 746 conv_at dir1 collect_up_other_freevars THENC 747 TRY_CONV (conv_at dir1 collect_additive_consts) THENC
|
/seL4-l4v-master/HOL4/polyml/ |
H A D | Makefile.in | 273 while test -n "$$dir1"; do \ 274 first=`echo "$$dir1" | sed -e "$$sed_first"`; \ 289 dir1=`echo "$$dir1" | sed -e "$$sed_rest"`; \ 866 dir1=$$subdir; dir2="$(distdir)/$$subdir"; \ 869 dir1=$$subdir; dir2="$(top_distdir)"; \
|
/seL4-l4v-master/HOL4/tools/ |
H A D | configure.sml | 27 valid for SML. For example, write "c:/dir1/dir2/mosml", rather 28 than "c:\\dir1\\dir2\\mosml", and certainly DON'T write 29 "c:\dir1\dir2\mosml".
|
/seL4-l4v-master/HOL4/tools-poly/ |
H A D | configure.sml | 27 valid for SML. For example, write "c:/dir1/dir2/mosml", rather 28 than "c:\\dir1\\dir2\\mosml", and certainly DON'T write 29 "c:\dir1\dir2\mosml".
|
/seL4-l4v-master/HOL4/tools/trailing-wspace/ |
H A D | trailingwspace.sml | 179 val uheader = CommandLine.name() ^ " [options] dir1 dir2 ..."
|
/seL4-l4v-master/isabelle/src/Pure/Thy/ |
H A D | sessions.scala | 925 dir1 = 931 res <- load_dir(select, dir1)
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Thy/ |
H A D | sessions.scala | 925 dir1 = 931 res <- load_dir(select, dir1)
|
/seL4-l4v-master/HOL4/src/bool/ |
H A D | boolScript.sml | 3597 val dir1 = DISCH_ALL (CONJ p_thm (MP pimpq p_thm)) value 3602 IMP_ANTISYM_RULE dir1 dir2
|
Completed in 280 milliseconds