Cross Reference: run.sh
xref
: /
hets
/
test
/
HasCASL2IsabelleTests
/
run.sh
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
run.sh revision d6087be434086ef1a79922001fec798bc397c56a
#!/
bin
/
sh
../../
hets
-
v2
-o
thy
*.
het
../../
utils
/
nightly
/
linux
/
runisabelle.sh
*.
thy