Searched refs:usage (Results 1 - 25 of 197) sorted by relevance

12345678

/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A D	env	12 function usage() function 26 [ "$1" = "-?" ] && usage
H A D	version	11 function usage() function 44 usage 54 [ "$#" -ne 0 ] && usage
H A D	client	9 function usage() function 48 usage 58 [ "$#" -ne 0 ] && usage
H A D	getenv	12 function usage() function 50 usage 60 [ -z "$ALL" -a -z "$DUMP" -a "$#" -eq 0 ] && usage 61 [ -n "$ALL" -a "$#" -ne 0 ] && usage
H A D	display	10 function usage() function 29 [ "$#" -ne 1 -o "$1" = "-?" ] && usage
H A D	install	10 function usage() function 46 usage 57 [ "$#" -ne 0 -o -z "$BINDIR" ] && usage
H A D	logo	10 function usage() function 48 usage 61 [ "$#" -ne 0 ] && usage
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A D	env	12 function usage() function 26 [ "$1" = "-?" ] && usage
H A D	version	11 function usage() function 44 usage 54 [ "$#" -ne 0 ] && usage
H A D	client	9 function usage() function 48 usage 58 [ "$#" -ne 0 ] && usage
H A D	getenv	12 function usage() function 50 usage 60 [ -z "$ALL" -a -z "$DUMP" -a "$#" -eq 0 ] && usage 61 [ -n "$ALL" -a "$#" -ne 0 ] && usage
H A D	display	10 function usage() function 29 [ "$#" -ne 1 -o "$1" = "-?" ] && usage
H A D	install	10 function usage() function 46 usage 57 [ "$#" -ne 0 -o -z "$BINDIR" ] && usage
H A D	logo	10 function usage() function 48 usage 61 [ "$#" -ne 0 ] && usage
/seL4-l4v-10.1.1/isabelle/Admin/bash_process/
H A D	build	11 function usage() function 28 [ "$#" -eq 0 ] && usage 31 [ "$#" -eq 0 ] || usage
/seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/
H A D	components_checksum	12 function usage() function 57 [ -n "$UPDATE" ] || [ -n "$CHECK" ] || usage 63 [ "$#" -ne 0 ] && usage
/seL4-l4v-10.1.1/l4v/isabelle/Admin/bash_process/
H A D	build	11 function usage() function 28 [ "$#" -eq 0 ] && usage 31 [ "$#" -eq 0 ] || usage
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/Tools/
H A D	components_checksum	12 function usage() function 57 [ -n "$UPDATE" ] || [ -n "$CHECK" ] || usage 63 [ "$#" -ne 0 ] && usage
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A D	main.sml	5 fun usage () = function 14 | _ => usage()
/seL4-l4v-10.1.1/l4v/tools/proofcount/lib/Tools/
H A D	proofcount	24 function usage() { function 87 [ -z "$PROOFCOUNT_CURRENT_METRIC" ] && usage 91 [ -z "$PROOFCOUNT_CURRENT_METRIC" ] && usage 95 [ -z "$PROOFCOUNT_CURRENT_METRIC" ] && usage 99 [ -z "$PROOFCOUNT_CURRENT_METRIC" ] && usage 118 usage 156 [ -z "$PROOFCOUNT_XML" ] && usage 160 [ -z "$PROOFCOUNT_LOGIC" ] && usage 161 [ -z "$PROOFCOUNT_IMPORT_THEORY" ] && usage 250 [ -z "$PROOFCOUNT_LOGIC" ] && usage [all...]
/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/lib/Tools/
H A D	tptp_isabelle	10 function usage() { function 20 [ "$#" -eq 0 -o "$1" = "-?" ] && usage
H A D	tptp_isabelle_hot	10 function usage() { function 20 [ "$#" -eq 0 -o "$1" = "-?" ] && usage
H A D	tptp_nitpick	10 function usage() { function 20 [ "$#" -eq 0 -o "$1" = "-?" ] && usage
H A D	tptp_refute	10 function usage() { function 19 [ "$#" -eq 0 -o "$1" = "-?" ] && usage
H A D	tptp_sledgehammer	10 function usage() { function 20 [ "$#" -eq 0 -o "$1" = "-?" ] && usage

Completed in 67 milliseconds

12345678

Indexes created Wed Jul 17 19:16:04 MDT 2024