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

/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dlatex79 for STYLEFILE in "$ISABELLE_HOME/lib/texinputs"/*.sty
81 TARGET="$DIR"/$(basename "$STYLEFILE")
82 perl -p -e 's/\$[I]d:?(?:\s)*([^\$]*)\$//g' "$STYLEFILE" > "$TARGET"
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dlatex79 for STYLEFILE in "$ISABELLE_HOME/lib/texinputs"/*.sty
81 TARGET="$DIR"/$(basename "$STYLEFILE")
82 perl -p -e 's/\$[I]d:?(?:\s)*([^\$]*)\$//g' "$STYLEFILE" > "$TARGET"

Completed in 29 milliseconds