lib/scripts/isa-xterm

     -xrm "*VT100*font4:" \
     -xrm "*fontMenu*font5*Label:" \
     -xrm "*VT100*font5:" \
     -xrm "*fontMenu*font6*Label:" \
     -xrm "*VT100*font6:" \
-    -e $ISABELLE -m symbols $PASS "$@"
+    -e $ISABELLE -m isabelle_font -m symbols $PASS "$@"
 fi