author | lcp |
Mon, 21 Nov 1994 10:51:40 +0100 | |
changeset 718 | efca1e0710fb |
parent 9 | c1795fac88c3 |
permissions | -rwxr-xr-x |
#! /bin/sh # simp FILE1 ... FILEn # # leaves previous versions as XXX~~ # for f in $* do echo $f. \ Backup file is $f~~ mv $f $f~~; sed -e ' s/\<ASM_SIMP_TAC\>/asm_simp_tac/g s/\<SIMP_TAC\>/simp_tac/g s/\<addrews\>/addsimps/g s/addsplits \(\[[^]]*\]\)/setloop (split_tac \1)/g s/addsplits/setloop split_tac/g s/\<setauto\>/setsolver/g ' $f~~ > $f done echo Finished.