xtest-to-coding.sh
author Walther Neuper <walther.neuper@jku.at>
Mon, 15 Mar 2021 10:45:12 +0100
changeset 60175 6799b5922e46
parent 59320 4549c6062b30
permissions -rwxr-xr-x
/----- finish update Isabelle2020 --> Isabelle2021 for Test_Isac_Short.thy
wneuper@59295
     1
# switches isac from test-mode to coding-mode:
wneuper@59295
     2
# this closes signatures as much as possible for coding.
wneuper@59295
     3
wneuper@59295
     4
cd src/Tools/isac
wneuper@59295
     5
find . -type f -exec sed -i s/'--- ! aktivate for Test_Isac BEGIN ---\\\*)'/'--- ! aktivate for Test_Isac BEGIN ---\\\* )'/g {} \;
wneuper@59295
     6
find . -type f -exec sed -i s/'(\*\\--- ! aktivate for Test_Isac END ---'/'( \*\\--- ! aktivate for Test_Isac END ---'/g {} \;
wneuper@59320
     7
cd ../../../  # go back to ~~/.