equal
deleted
inserted
replaced
16 |
16 |
17 ## main |
17 ## main |
18 |
18 |
19 if [ -z "$ISABELLE_SYMBOLS" -o "$ISABELLE_SYMBOLS" = false ]; then |
19 if [ -z "$ISABELLE_SYMBOLS" -o "$ISABELLE_SYMBOLS" = false ]; then |
20 exec xterm -T Isabelle -n Isabelle $ISABELLE_INTERFACE_OPTIONS \ |
20 exec xterm -T Isabelle -n Isabelle $ISABELLE_INTERFACE_OPTIONS \ |
21 -e $ISABELLE_HOME/bin/isabelle "$@" |
21 -e $ISABELLE "$@" |
22 else |
22 else |
23 $ISABELLE_HOME/bin/isatool installfonts |
23 $ISATOOL installfonts |
24 exec xterm -T Isabelle -n Isabelle $ISABELLE_INTERFACE_OPTIONS -fn isacr14 \ |
24 exec xterm -T Isabelle -n Isabelle $ISABELLE_INTERFACE_OPTIONS -fn isacr14 \ |
25 -xrm "*fontMenu.Label: Isabelle fonts" \ |
25 -xrm "*fontMenu.Label: Isabelle fonts" \ |
26 -xrm "*fontMenu*font1*Label: Large" \ |
26 -xrm "*fontMenu*font1*Label: Large" \ |
27 -xrm "*VT100*font1: isacb24" \ |
27 -xrm "*VT100*font1: isacb24" \ |
28 -xrm "*fontMenu*font2*Label:" \ |
28 -xrm "*fontMenu*font2*Label:" \ |
33 -xrm "*VT100*font4:" \ |
33 -xrm "*VT100*font4:" \ |
34 -xrm "*fontMenu*font5*Label:" \ |
34 -xrm "*fontMenu*font5*Label:" \ |
35 -xrm "*VT100*font5:" \ |
35 -xrm "*VT100*font5:" \ |
36 -xrm "*fontMenu*font6*Label:" \ |
36 -xrm "*fontMenu*font6*Label:" \ |
37 -xrm "*VT100*font6:" \ |
37 -xrm "*VT100*font6:" \ |
38 -e $ISABELLE_HOME/bin/isabelle -e 'print_mode:=["symbols"];' "$@" |
38 -e $ISABELLE -e 'print_mode:=["symbols"];' "$@" |
39 fi |
39 fi |