From 741142ce77dd655b47b2b6fc4e58cb5ca7b0e7e4 Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Tue, 17 May 2005 16:22:42 +0000 Subject: added -L option; tuned; --- isar/interface | 22 +++++++++++++--------- 1 file changed, 13 insertions(+), 9 deletions(-) (limited to 'isar/interface') diff --git a/isar/interface b/isar/interface index a562f41e..cab0a968 100644 --- a/isar/interface +++ b/isar/interface @@ -27,10 +27,11 @@ usage() echo echo " Options are:" echo " -I BOOL use Isabelle/Isar instead of classic Isabelle (default $ISAR)" + echo " -L NAME abbreviates -l NAME -k NAME" echo " -P BOOL actually start Proof General (default true), otherwise" echo " run plain tty session" echo " -X BOOL configure the X-Symbol package on startup (default true)" - echo " -f SIZE set X-Symbol font size (default 14)" + echo " -f SIZE set X-Symbol font size (default 12)" echo " -g GEOMETRY specify Emacs geometry" echo " -k NAME use specific isar-keywords for named logic" echo " -l NAME logic image name (default \$ISABELLE_LOGIC=$ISABELLE_LOGIC)" @@ -74,12 +75,16 @@ XSYMBOL_FONTSIZE="12" getoptions() { OPTIND=1 - while getopts "I:P:X:f:g:k:l:m:p:u:w:x:" OPT + while getopts "I:L:P:X:f:g:k:l:m:p:u:w:x:" OPT do case "$OPT" in I) ISAR="$OPTARG" ;; + L) + KEYWORDS="$OPTARG" + LOGIC="$OPTARG" + ;; P) START_PG="$OPTARG" ;; @@ -228,14 +233,13 @@ else ;; esac - PROOFGENERAL_HOME="$SUPER" - PROOFGENERAL_ASSISTANTS="$KIND" - PROOFGENERAL_LOGIC="$LOGIC" - PROOFGENERAL_XSYMBOL="$XSYMBOL" - - export PROOFGENERAL_HOME PROOFGENERAL_ASSISTANTS PROOFGENERAL_LOGIC PROOFGENERAL_XSYMBOL + export PROOFGENERAL_HOME="$SUPER" + export PROOFGENERAL_ASSISTANTS="$KIND" + export PROOFGENERAL_LOGIC="$LOGIC" + export PROOFGENERAL_XSYMBOL="$XSYMBOL" + export ISABELLE_OPTIONS XSYMBOL_FONTSIZE eval exec "$PROGNAME" "$ARGS" "$FILES" -fi \ No newline at end of file +fi -- cgit v1.2.3