xtest-to-coding.sh
author Walther Neuper <walther.neuper@jku.at>
Mon, 31 Aug 2020 12:05:37 +0200
changeset 60055 aedf1d7ff850
parent 59320 4549c6062b30
permissions -rwxr-xr-x
trial 1 including problem parser into ISAC ?Problem..?

not successful because
* Makarius' exmple ISAC deals with inner_syntax only
* Naproche parses in Haskell only.
better examples required
     1 # switches isac from test-mode to coding-mode:
     2 # this closes signatures as much as possible for coding.
     3 
     4 cd src/Tools/isac
     5 find . -type f -exec sed -i s/'--- ! aktivate for Test_Isac BEGIN ---\\\*)'/'--- ! aktivate for Test_Isac BEGIN ---\\\* )'/g {} \;
     6 find . -type f -exec sed -i s/'(\*\\--- ! aktivate for Test_Isac END ---'/'( \*\\--- ! aktivate for Test_Isac END ---'/g {} \;
     7 cd ../../../  # go back to ~~/.