usage: tell PROOFGENERAL_OPTIONS;

-u true by default;

1 files changed, 4 insertions, 2 deletions

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