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