--- 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)
--- 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)
--- 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
--- 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
--- 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)