diff options
Diffstat (limited to 'isar/interface')
| -rw-r--r-- | isar/interface | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/interface b/isar/interface index 0a25e934..a62df5ca 100644 --- a/isar/interface +++ b/isar/interface @@ -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=isar export PROOFGENERAL_LOGIC="$LOGIC" exec $PROGNAME $ARGS $FILES |