# HG changeset patch
# User wenzelm
# Date 849701147 -3600
# Node ID 508d2a233dbc0e137683e98760ed571630fb6c8b
# Parent  0aadfaf8557adf06fad7cd2a1882992e8c14644b
*** empty log message ***

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)
diff -r 0aadfaf8557a -r 508d2a233dbc lib/Tools/getenv
--- a/lib/Tools/getenv	Wed Dec 04 12:30:49 1996 +0100
+++ b/lib/Tools/getenv	Wed Dec 04 13:05:47 1996 +0100
@@ -1,7 +1,9 @@
 #!/bin/bash
 #
+# $Id$
+#
 # DESCRIPTION: get value from Isabelle settings
-#
+
 
 PRG=$(basename $0)
 
diff -r 0aadfaf8557a -r 508d2a233dbc lib/scripts/getsettings
--- a/lib/scripts/getsettings	Wed Dec 04 12:30:49 1996 +0100
+++ b/lib/scripts/getsettings	Wed Dec 04 13:05:47 1996 +0100
@@ -1,8 +1,8 @@
+#
+# $Id$
 #
 # getsettings - bash source script to augment current env
 #
-# $Id$
-#
 
 #value set by caller
 export ISABELLE_HOME
diff -r 0aadfaf8557a -r 508d2a233dbc lib/scripts/isa-xterm
--- a/lib/scripts/isa-xterm	Wed Dec 04 12:30:49 1996 +0100
+++ b/lib/scripts/isa-xterm	Wed Dec 04 13:05:47 1996 +0100
@@ -1,10 +1,11 @@
 #!/bin/bash
 #
+# $Id$
+#
 # Isabelle within an xterm.
 #
-# $Id$
-#
-# TODO: isabelle fonts
+# TODO:
+#   - font menu (cf. isa-xterm from 8bit package)
 
 
 ## diagnostics
diff -r 0aadfaf8557a -r 508d2a233dbc lib/scripts/ucat
--- a/lib/scripts/ucat	Wed Dec 04 12:30:49 1996 +0100
+++ b/lib/scripts/ucat	Wed Dec 04 13:05:47 1996 +0100
@@ -1,9 +1,11 @@
 #!/bin/bash
 #
+# $Id$
+#
 # ucat - uninterruptible cat
+#
 # NOTE: If perl is unavailable we simply fall back on normal cat!
-#
-# $Id$
+
 
 PERL=$(type -path perl)