diff options
author | Makarius Wenzel <makarius@sketis.net> | 1999-09-03 15:55:42 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 1999-09-03 15:55:42 +0000 |
commit | 6265bce5bc306b9920c0b5cd527b896c988a58aa (patch) | |
tree | 8d6715aa50b5239cb7d9804fcef2810a90d9aaf5 /isar/interface | |
parent | dd927ada6374d8a0c53ad622efc99aa48a71a606 (diff) |
usage: tell PROOFGENERAL_OPTIONS;
-u true by default;
Diffstat (limited to 'isar/interface')
-rw-r--r-- | isar/interface | 6 |
1 files changed, 4 insertions, 2 deletions
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() |