wneuper/isa: xcoding-to-test.sh@422186a35be8

xcoding-to-test.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 coding-mode to test-mode:

     2 # this makes additional functions in signatures visible for tests.

     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