Cross Reference: runisabelle.sh
xref
: /
hets
/
utils
/
nightly
/
runisabelle.sh
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
#!/
bin
/
sh
for
i
in
$*
do
j=
`
basename
$i .
thy
`
(
cd
`
dirname
$i`
; \
echo
" use_thy \"$j\"; quit();"
\
|
isabelle_process
)
done