author | lcp |
Thu, 24 Mar 1994 18:14:45 +0100 | |
changeset 304 | 5edc4f5e5ebd |
parent 9 | c1795fac88c3 |
permissions | -rwxr-xr-x |
1 #! /bin/sh
2 # simp FILE1 ... FILEn
3 #
4 # leaves previous versions as XXX~~
5 #
6 for f in $*
7 do
8 echo $f. \ Backup file is $f~~
9 mv $f $f~~; sed -e '
10 s/\<ASM_SIMP_TAC\>/asm_simp_tac/g
11 s/\<SIMP_TAC\>/simp_tac/g
12 s/\<addrews\>/addsimps/g
13 s/addsplits \(\[[^]]*\]\)/setloop (split_tac \1)/g
14 s/addsplits/setloop split_tac/g
15 s/\<setauto\>/setsolver/g
16 ' $f~~ > $f
17 done
18 echo Finished.