diff options
Diffstat (limited to 'isa/interface')
| -rw-r--r-- | isa/interface | 6 |
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() |