Cross Reference: run.sh
xref
: /
hets
/
test
/
RenameFreetypes
/
run.sh
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
#!/
bin
/
sh
../../
hets
-
v2
-A -o
thy
*.
het
../../
utils
/
nightly
/
runisabelle.sh
*.
thy
../../
hets
-l
HasCASL
-
v2
-A -o
thy
*.
het
../../
utils
/
nightly
/
runisabelle.sh
*.
thy