Searched refs:filename (Results 76 - 79 of 79) sorted by relevance
1234
| /barrelfish-master/doc/002-mackerel/ |
| H A D | Mackerel.tex | 105 \item \texttt{-c} \textit{filename} or
106 \texttt{--input-file=}\textit{filename}: This option is mandatory
118 \item \texttt{-o} \textit{filename} or \texttt{--output-file}
119 \textit{filename}: this option, if supplied, specifies the name of
121 given, the filename will be derived from the input filename by
251 filename of the file, including case sensitivity: for example,
|
| /barrelfish-master/usr/eclipseclp/Opium/demo/ |
| H A D | yoyo3.pl | 30 GOAL: check_input, filename "bib4_list" \n\
88 % get_answer('Please enter filename : ',Input,4,10),
347 % get_answer('Please enter filename : ',Input,4,10),
|
| /barrelfish-master/doc/003-hake/ |
| H A D | Hake.tex | 731 \item[--output-filename:] this option specifies the name of the output
|
| /barrelfish-master/usr/eclipseclp/Kernel/lib/ |
| H A D | tracer_tcl.pl | 1652 % ["filename", "status", "module"] where the filename is in the
|
Completed in 43 milliseconds
1234