Searched refs:Usage (Results 1 - 25 of 51) sorted by relevance
123
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | mpoly.cpp | 94 NORETURNFN(static void Usage(const char *message, ...)); 167 Usage("Incomplete %s option\n", arg); 198 Usage("Malformed %s option\n", arg); 202 Usage("Value of %s option must not exceeed 16Gbytes\n", arg); 205 Usage("Value of %s option must not exceeed 4Gbytes\n", arg); 209 Usage("Value of %s option must not exceeed 8Ebytes\n", arg); 266 Usage("Incomplete %s option\n", argTable[j].argName); 282 Usage("Malformed %s option\n", argTable[j].argName); 285 Usage("%s argument must be between 1 and 99\n", argTable[j].argName); 299 Usage("Incomplet 439 void Usage(const char *message, ...) function [all...] |
/seL4-l4v-master/HOL4/tools/mlyacc/src/ |
H A D | main.sml | 6 (output(stdErr, "Usage: " ^ CommandLine.name() ^ " file.grm\n");
|
/seL4-l4v-master/HOL4/src/TeX/ |
H A D | mkmkcline.sml | 6 "Usage: \n " ^ CommandLine.name() ^
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | holdeptool.sml | 8 (warn ("Usage:\n " ^ CommandLine.name() ^ " [-h | [file]]");
|
/seL4-l4v-master/HOL4/tools/cmp/ |
H A D | cmp.sml | 7 die ("Usage:\n " ^ CommandLine.name() ^ " file1 file2")
|
/seL4-l4v-master/l4v/isabelle/Admin/ |
H A D | build | 21 Usage: $PRG [MODULES]
|
/seL4-l4v-master/isabelle/Admin/ |
H A D | build | 21 Usage: $PRG [MODULES]
|
/seL4-l4v-master/HOL4/tools/quote-filter/ |
H A D | mlton-quote-filter.sml | 51 "Usage:\n " ^ CommandLine.name() ^
|
H A D | quote-filter.sml | 29 "Usage:\n " ^ CommandLine.name() ^
|
/seL4-l4v-master/isabelle/src/Pure/Tools/ |
H A D | scala_project.scala | 128 Usage: isabelle scala_project [OPTIONS] PROJECT_DIR
|
H A D | mkroot.scala | 187 Usage: isabelle mkroot [OPTIONS] [DIRECTORY]
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
H A D | scala_project.scala | 128 Usage: isabelle scala_project [OPTIONS] PROJECT_DIR
|
H A D | mkroot.scala | 187 Usage: isabelle mkroot [OPTIONS] [DIRECTORY]
|
/seL4-l4v-master/isabelle/src/Tools/VSCode/src/ |
H A D | grammar.scala | 144 Usage: isabelle vscode_grammar [OPTIONS]
|
/seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/ |
H A D | grammar.scala | 144 Usage: isabelle vscode_grammar [OPTIONS]
|
/seL4-l4v-master/HOL4/tools/Holmake/poly/ |
H A D | genscriptdep.sml | 30 "Usage:\n " ^ nm ^ " [-h|-?|filename]\n"
|
/seL4-l4v-master/HOL4/tools/set_mtime/ |
H A D | set_mtime.sml | 9 "Usage:\n " ^ CommandLine.name() ^
|
/seL4-l4v-master/HOL4/examples/ARM/v7/eval/ |
H A D | arm_evalLib.sig | 18 (* Usage:
|
/seL4-l4v-master/HOL4/examples/HolCheck/examples/ |
H A D | mod8.sml | 31 Usage example (start hol including the HolCheck/examples directory, using the -I command line option) :
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Options.sig | 66 (* Usage information. *)
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Options.sig | 66 (* Usage information. *)
|
/seL4-l4v-master/l4v/tools/c-parser/standalone-parser/ |
H A D | tokenizer.sml | 54 fun usage() = die ("Usage: "^CommandLine.name()^ " filename1 filename2 ...")
|
/seL4-l4v-master/HOL4/examples/ARM/v7/ |
H A D | armLib.sig | 39 Usage (see "EXAMPLES"):
|
/seL4-l4v-master/HOL4/developers/ |
H A D | generateBuildSummary.sml | 17 fun usage() = die ("Usage:\n "^CommandLine.name()^
|
/seL4-l4v-master/HOL4/examples/formal-languages/regular/ |
H A D | regexp2dfa.sml | 70 ["Usage: regexp2dfa [-dfagen (HOL | SML)] ",
|
Completed in 309 milliseconds
123