diff options
Diffstat (limited to 'isar/interface')
-rw-r--r-- | isar/interface | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/isar/interface b/isar/interface index 46ac8a7f..71a922f5 100644 --- a/isar/interface +++ b/isar/interface @@ -161,6 +161,14 @@ do [ -f "$FILE" ] && ARGS="$ARGS -l '$FILE'" done +case "$LOGIC" in + /*) + ;; + */*) + LOGIC="$PWD/$LOGIC" + ;; +esac + PROOFGENERAL_HOME="$SUPER" PROOFGENERAL_ASSISTANTS="$KIND" PROOFGENERAL_LOGIC="$LOGIC" |