Searched defs:PATH (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/isabelle/Admin/Windows/Cygwin/
H A DCygwin-Terminal.bat5 set PATH=%CD%\bin;%PATH% variable
/seL4-l4v-10.1.1/l4v/isabelle/Admin/Windows/Cygwin/
H A DCygwin-Terminal.bat5 set PATH=%CD%\bin;%PATH% variable
/seL4-l4v-10.1.1/l4v/spec/cspec/c/
H A DMakefile14 PATH:=${PARSERPATH}:${PATH} macro
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DfolMapping.sml795 val (PATH, hol_l) = fol_path_to_hol parm fol_p hol_lit value

Completed in 32 milliseconds