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; --- isar/interface | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'isar/interface') diff --git a/isar/interface b/isar/interface index 14ebf41b..0a25e934 100644 --- a/isar/interface +++ b/isar/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/Isar 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