| changeset 9 | c1795fac88c3 |
| child 818 | 0b9ec0374bfd |
| 8:c3d2c6dcf3f0 | 9:c1795fac88c3 |
|---|---|
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. |