wneuper@59451: # moved isabisac --> isabisac17, rebuilt and tested OK.
wneuper@59320: # test-setup according to ~~/test/Tools/isac/Test_Isac.thy
wneuper@59320:     xcoding-to-test.sh  # extend signatures for tests
wneuper@59320:     zcoding-to-test.sh  # -"- + go back to Test_Isac.thy
wneuper@59320:     
wneuper@59320:     xtest-to-coding.sh  # clean signatures for coding
wneuper@59320:     ztest-to-coding.sh  # -"- + go back to coding (!update thy!)