| changeset 1183 | b666aabe866b |
| parent 1182 | 30286ceb9adb |
| child 1184 | 94ada3b54caa |
| 1182:30286ceb9adb | 1183:b666aabe866b |
|---|---|
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. |