From 6265bce5bc306b9920c0b5cd527b896c988a58aa Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 3 Sep 1999 15:55:42 +0000
Subject: usage: tell PROOFGENERAL_OPTIONS; -u true by default;

---
 isa/interface | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'isa/interface')

diff --git a/isa/interface b/isa/interface
index f40b8b36..30d150c3 100644
--- a/isa/interface
+++ b/isa/interface
@@ -17,12 +17,14 @@ function usage()
   echo "  Options are:"
   echo "    -l NAME      logic image name (default \$ISABELLE_LOGIC=$ISABELLE_LOGIC)"
   echo "    -p NAME      Emacs program name (default xemacs)"
-  echo "    -u BOOL      use .emacs file (default false)"
+  echo "    -u BOOL      use .emacs file (default true)"
   echo "    -w BOOL      use window system (default true)"
   echo
   echo "Starts Proof General for Isabelle/classic with proof documents FILES"
   echo "(default Scratch.thy)."
   echo
+  echo "  PROOFGENERAL_OPTIONS=$PROOFGENERAL_OPTIONS"
+  echo
   exit 1
 }
 
@@ -42,7 +44,7 @@ PROOFGENERAL_HOME=$(cd $(dirname "$0"); cd ..; echo $PWD)
 
 LOGIC="$ISABELLE_LOGIC"
 PROGNAME="xemacs"
-INITFILE="false"
+INITFILE="true"
 WINDOWSYSTEM="true"
 
 function getoptions()
-- 
cgit v1.2.3