diff options
| -rw-r--r-- | isa/interface | 6 | ||||
| -rw-r--r-- | isar/interface | 6 |
2 files changed, 8 insertions, 4 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() 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() |