diff -r 0aadfaf8557a -r 508d2a233dbc bin/isatool
--- a/bin/isatool	Wed Dec 04 12:30:49 1996 +0100
+++ b/bin/isatool	Wed Dec 04 13:05:47 1996 +0100
@@ -1,8 +1,8 @@
 #!/bin/bash
 #
+# $Id$
+#
 # Isabelle tool starter -- keeps your PATH name space clean.
-#
-# $Id$
 
 
 ## settings
@@ -11,7 +11,6 @@
 . $ISABELLE_HOME/lib/scripts/getsettings
 
 
-
 ## diagnostics
 
 PRG=$(basename $0)