README_WN
author Walther Neuper <walther.neuper@jku.at>
Wed, 23 Sep 2020 15:01:00 +0200
changeset 60064 8399860afec3
parent 59451 71b442e82416
permissions -rw-r--r--
Added tag isabisac19 for changeset f63c28616326
     1 # moved isabisac --> isabisac17, rebuilt and tested OK.
     2 # test-setup according to ~~/test/Tools/isac/Test_Isac.thy
     3     xcoding-to-test.sh  # extend signatures for tests
     4     zcoding-to-test.sh  # -"- + go back to Test_Isac.thy
     5     
     6     xtest-to-coding.sh  # clean signatures for coding
     7     ztest-to-coding.sh  # -"- + go back to coding (!update thy!)