Searched refs:OUTFORMAT (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dlatex35 OUTFORMAT=pdf
41 OUTFORMAT="$OPTARG"
86 case "$OUTFORMAT" in
112 fail "Bad output format '$OUTFORMAT'"
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dlatex35 OUTFORMAT=pdf
41 OUTFORMAT="$OPTARG"
86 case "$OUTFORMAT" in
112 fail "Bad output format '$OUTFORMAT'"

Completed in 26 milliseconds