# HG changeset patch
# User wenzelm
# Date 936373933 -7200
# Node ID 173efad74891b2c846d5bdf94c0203d86d16e651
# Parent  bb282845ca778b487403f073f39d0b9e3ab91dfc
usage: tell current OPTIONS value;

diff -r bb282845ca77 -r 173efad74891 lib/scripts/isa-emacs
--- a/lib/scripts/isa-emacs	Fri Sep 03 16:11:53 1999 +0200
+++ b/lib/scripts/isa-emacs	Fri Sep 03 17:52:13 1999 +0200
@@ -20,6 +20,9 @@
   echo "    -u BOOL      use .emacs file (default false)"
   echo
   echo "Starts Emacs and Isamode."
+  echo
+  echo "  ISAMODE_OPTIONS=$ISAMODE_OPTIONS"
+  echo
   exit 1
 }
 
diff -r bb282845ca77 -r 173efad74891 lib/scripts/isa-xterm
--- a/lib/scripts/isa-xterm	Fri Sep 03 16:11:53 1999 +0200
+++ b/lib/scripts/isa-xterm	Fri Sep 03 17:52:13 1999 +0200
@@ -25,6 +25,8 @@
   echo "  Starts Isabelle within an xterm window. CMDLINE is passed"
   echo "  directly to the isabelle session."
   echo
+  echo "  ISABELLE_XTERM_OPTIONS=$ISABELLE_XTERM_OPTIONS"
+  echo
   exit 1
 }