diff options
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/interface | 6 | ||||
| -rw-r--r-- | isa/interface-setup.el | 2 |
2 files changed, 3 insertions, 5 deletions
diff --git a/isa/interface b/isa/interface index 30d150c3..85df81c1 100644 --- a/isa/interface +++ b/isa/interface @@ -2,7 +2,7 @@ # # $Id$ # -# Proof General interface wrapper for Isabelle/classic. +# Proof General interface wrapper for classic Isabelle. ## diagnostics @@ -37,7 +37,7 @@ function fail() ## process command line -PROOFGENERAL_HOME=$(cd $(dirname "$0"); cd ..; echo $PWD) +export PROOFGENERAL_HOME=$(cd $(dirname "$0"); cd ..; echo $PWD) # options @@ -108,6 +108,6 @@ do [ -f "$FILE" ] && ARGS="$ARGS -l $FILE" done -export PROOFGENERAL_HOME +export PROOFGENERAL_ASSISTANTS=isa export PROOFGENERAL_LOGIC="$LOGIC" exec $PROGNAME $ARGS $FILES diff --git a/isa/interface-setup.el b/isa/interface-setup.el index a394121c..fce64173 100644 --- a/isa/interface-setup.el +++ b/isa/interface-setup.el @@ -5,5 +5,3 @@ (customize-set-variable 'isabelle-prog-name (concat (getenv "ISABELLE") " " (getenv "PROOFGENERAL_LOGIC"))) - -(customize-set-variable 'proof-assistant-table '((isa "Isabelle" "\\.ML$\\|\\.thy$"))) |