wneuper/isa: xtest-to-coding.sh@422186a35be8

xtest-to-coding.sh

avoid odd clones of Isabelle latex styles:
these diverge over time, when the originals in $ISABELLE_HOME/lib/texinputs change;

     1 # switches isac from test-mode to coding-mode:

     2 # this closes signatures as much as possible for coding.

     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 ~~/.

wneuper/isa