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

/seL4-l4v-master/isabelle/Admin/Windows/Cygwin/
H A DCygwin-Terminal.bat5 set PATH=%CD%\bin;%PATH% variable
/seL4-l4v-master/l4v/isabelle/Admin/Windows/Cygwin/
H A DCygwin-Terminal.bat5 set PATH=%CD%\bin;%PATH% variable
/seL4-l4v-master/HOL4/src/metis/
H A DfolMapping.sml796 val (PATH, hol_l) = fol_path_to_hol parm fol_p hol_lit value

Completed in 45 milliseconds