Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
etc/settings
author wenzelm
Sun, 18 Apr 2021 18:30:31 +0200
changeset 60217 1d9fee958a46
parent 60215 e7ef883d6bdc
child 60771 1b072aab8f4e
permissions -rw-r--r--
proper test sessions, but with remaining failures;
wenzelm@24211 
     1
 
# -*- shell-script -*- :mode=shellscript:
wenzelm@2309 
     2
 






wenzelm@60215


     3


ISABELLE_ISAC="$COMPONENT/src/Tools/isac"







wenzelm@60217


     4


ISABELLE_ISAC_TEST="$COMPONENT/test"













wneuper/isa