Lines Matching defs:pref
126 val (pref, suff) = Substring.position redex ssline
480 val pref = fullPath [holdir, "tools", "vim"]
481 val src1 = fullPath [pref, "hol.src"]
482 val tar1 = fullPath [pref, "hol.vim"]
483 val src2 = fullPath [pref, "vimhol.src"]
484 val tar2 = fullPath [pref, "vimhol.sml"]
485 val tar3 = openOut (fullPath [pref, "hol-config.sml"])
486 val tar4 = openOut (fullPath [pref, "filetype.vim"])
488 val holpipe = qstr(fullPath [pref, "fifo"])
504 output(tar4," \"au BufRead,BufNewFile *?Script.sml source "^fullPath [pref, "holabs.vim"]^"\n");