| author | Walther Neuper <walther.neuper@jku.at> |
| Mon, 01 Mar 2021 12:46:40 +0100 | |
| changeset 60161 | 3c06f59b78d6 |
| parent 59451 | 71b442e82416 |
| permissions | -rw-r--r-- |
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
6 xtest-to-coding.sh # clean signatures for coding
7 ztest-to-coding.sh # -"- + go back to coding (!update thy!)