author | lcp |
Wed, 21 Dec 1994 13:10:39 +0100 | |
changeset 818 | 0b9ec0374bfd |
parent 817 | 99824db26a29 |
child 819 | 8928f1c44d80 |
--- a/src/Tools/change_simp Wed Dec 21 12:53:45 1994 +0100 +++ b/src/Tools/change_simp Wed Dec 21 13:10:39 1994 +0100 @@ -1,7 +1,10 @@ #! /bin/sh -# simp FILE1 ... FILEn +# $Id$ +#Assists in converting uses of the old simplifier (Isabelle-92 and earlier) +#Usage: +# change_simp FILE1 ... FILEn # -# leaves previous versions as XXX~~ +#Renames old versions of the files as FILE1~~ ... FILEn~~ # for f in $* do