Isabelle.exe
author |
Walther Neuper <neuper@ist.tugraz.at> |
|
Wed, 08 Sep 2010 17:20:03 +0200 |
branch | isac-update-Isa09-2 |
changeset 37994 |
eb4c556a525b |
parent 31921 |
f39825f8bfd3
|
permissions |
-rwxr-xr-x |
tuned
src/Knowledge + test/Knowledge:
find . -type f -exec sed -i s/"f_\""/"f_f\""/g {} \;
find . -type f -exec sed -i s/"f_,"/"f_f,"/g {} \;
find . -type f -exec sed -i s/"f_:"/"f_f:"/g {} \;
find . -type f -exec sed -i s/"f_'_"/"f_f'"/g {} \;
find . -type f -exec sed -i s/"eqs_"/"eqs"/g {} \;
find . -type f -exec sed -i s/"f'_ "/"f_f' "/g {} \;
find . -type f -exec sed -i s/"f'_)"/"f_f')"/g {} \;