README_WN
author Walther Neuper <walther.neuper@jku.at>
Sun, 04 Apr 2021 13:31:04 +0200
changeset 60183 0959e61a3f3f
parent 59451 71b442e82416
permissions -rw-r--r--
new session for Doc/Specify_Phase, incomplete
     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!)