equal
deleted
inserted
replaced
5 find . -type f -exec sed -i s/'--- ! aktivate for Test_Isac BEGIN ---\\\*)'/'--- ! aktivate for Test_Isac BEGIN ---\\\* )'/g {} \; |
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 {} \; |
6 find . -type f -exec sed -i s/'(\*\\--- ! aktivate for Test_Isac END ---'/'( \*\\--- ! aktivate for Test_Isac END ---'/g {} \; |
7 cd ../../../ # go back to ~~/. |
7 cd ../../../ # go back to ~~/. |
8 |
8 |
9 # immediately go to correcting code in Interpret/ |
9 # immediately go to correcting code in Interpret/ |
10 ./bin/isabelle jedit src/Tools/isac/Knowledge/Biegelinie.thy & |
10 ./bin/isabelle jedit src/Tools/isac/Build_Isac.thy & |
11 #./bin/isabelle jedit src/Tools/isac/Isac_Protocol.thy & |
11 #./bin/isabelle jedit src/Tools/isac/Isac_Protocol.thy & |