lib/scripts/isa-xterm

 
 
 ## main
 
 if [ -z "$ISABELLE_SYMBOLS" -o "$ISABELLE_SYMBOLS" = false ]; then
-  exec xterm -T Isabelle -n Isabelle $ISABELLE_INTERFACE_OPTIONS -e isabelle "$@"
+  exec xterm -T Isabelle -n Isabelle $ISABELLE_INTERFACE_OPTIONS \
+    -e $ISABELLE_HOME/bin/isabelle "$@"
 else
-  isatool installfonts
+  $ISABELLE_HOME/bin/isatool installfonts
   exec xterm -T Isabelle -n Isabelle $ISABELLE_INTERFACE_OPTIONS -fn isacr14 \
     -xrm "*fontMenu.Label: Isabelle fonts" \
     -xrm "*fontMenu*font1*Label: Large" \
     -xrm "*VT100*font1: isacb24" \
     -xrm "*fontMenu*font2*Label:" \

     -xrm "*VT100*font4:" \
     -xrm "*fontMenu*font5*Label:" \
     -xrm "*VT100*font5:" \
     -xrm "*fontMenu*font6*Label:" \
     -xrm "*VT100*font6:" \
-    -e isabelle -e 'print_mode:=["symbols"];' "$@"
+    -e $ISABELLE_HOME/bin/isabelle -e 'print_mode:=["symbols"];' "$@"
 fi