| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Wed, 22 Aug 2018 12:47:53 +0200 | |
| changeset 59450 | 9797318ac4b5 |
| parent 59320 | 4549c6062b30 |
| child 59451 | 71b442e82416 |
| permissions | -rw-r--r-- |
| wneuper@59180 | 1 |
|
| wneuper@59320 | 2 |
# test-setup according to ~~/test/Tools/isac/Test_Isac.thy |
| wneuper@59320 | 3 |
xcoding-to-test.sh # extend signatures for tests |
| wneuper@59320 | 4 |
zcoding-to-test.sh # -"- + go back to Test_Isac.thy |
| wneuper@59320 | 5 |
|
| wneuper@59320 | 6 |
xtest-to-coding.sh # clean signatures for coding |
| wneuper@59320 | 7 |
ztest-to-coding.sh # -"- + go back to coding (!update thy!) |