diff options
| -rw-r--r-- | isa/interface | 3 | ||||
| -rw-r--r-- | isar/interface | 3 |
2 files changed, 2 insertions, 4 deletions
diff --git a/isa/interface b/isa/interface index 7f323fdf..8a6cfe48 100644 --- a/isa/interface +++ b/isa/interface @@ -117,6 +117,7 @@ ARGS="" if [ "$WINDOWSYSTEM" = true -a -n "$DISPLAY" ]; then ARGS="$ARGS -T Isabelle" + [ -n "$XSYMBOL_INSTALLFONTS" ] && "$ISATOOL" installfonts -x else ARGS="$ARGS -nw" XSYMBOL=false @@ -131,8 +132,6 @@ do [ -f "$FILE" ] && ARGS="$ARGS -l $FILE" done -[ -n "$XSYMBOL_INSTALLFONTS" ] && "$ISATOOL" installfonts -x - export PROOFGENERAL_ASSISTANTS="$KIND" export PROOFGENERAL_LOGIC="$LOGIC" export PROOFGENERAL_XSYMBOL="$XSYMBOL" diff --git a/isar/interface b/isar/interface index 7f323fdf..8a6cfe48 100644 --- a/isar/interface +++ b/isar/interface @@ -117,6 +117,7 @@ ARGS="" if [ "$WINDOWSYSTEM" = true -a -n "$DISPLAY" ]; then ARGS="$ARGS -T Isabelle" + [ -n "$XSYMBOL_INSTALLFONTS" ] && "$ISATOOL" installfonts -x else ARGS="$ARGS -nw" XSYMBOL=false @@ -131,8 +132,6 @@ do [ -f "$FILE" ] && ARGS="$ARGS -l $FILE" done -[ -n "$XSYMBOL_INSTALLFONTS" ] && "$ISATOOL" installfonts -x - export PROOFGENERAL_ASSISTANTS="$KIND" export PROOFGENERAL_LOGIC="$LOGIC" export PROOFGENERAL_XSYMBOL="$XSYMBOL" |