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