# HG changeset patch
# User lcp
# Date 788011839 -3600
# Node ID 0b9ec0374bfd61197462ff3ae93c8a9bbad8819d
# Parent  99824db26a29507ede96510402711947d396bf8d
Added comments and Id: marker.

diff -r 99824db26a29 -r 0b9ec0374bfd src/Tools/change_simp
--- 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