equal
deleted
inserted
replaced
1 #!/bin/bash |
1 #!/bin/bash |
2 # |
2 # |
3 # $Id$ |
3 # $Id$ |
|
4 # Author: Markus Wenzel, TU Muenchen |
|
5 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
4 # |
6 # |
5 # Simple Isabelle interface based on xterm. |
7 # Simple Isabelle interface based on xterm. |
6 |
8 |
7 |
9 |
8 ## diagnostics |
10 ## diagnostics |
9 |
11 |
10 PRG=$(basename $0) |
12 PRG=$(basename "$0") |
11 |
13 |
12 function usage() |
14 function usage() |
13 { |
15 { |
14 echo |
16 echo |
15 echo "Usage: $PRG [OPTIONS] [--] [CMDLINE]" |
17 echo "Usage: $PRG [OPTIONS] [--] [CMDLINE]" |
100 fi |
102 fi |
101 |
103 |
102 PASS="$PASS_MODE $PASS" |
104 PASS="$PASS_MODE $PASS" |
103 |
105 |
104 if [ -z "$SYMBOLS" -o "$SYMBOLS" = false ]; then |
106 if [ -z "$SYMBOLS" -o "$SYMBOLS" = false ]; then |
105 exec $XTERM -T Isabelle -n Isabelle -geometry "$MAINGEOM" -e $ISABELLE $PASS "$@" |
107 exec $XTERM -T Isabelle -n Isabelle -geometry "$MAINGEOM" -e \"$ISABELLE\" $PASS "$@" |
106 else |
108 else |
107 $ISATOOL installfonts |
109 $ISATOOL installfonts |
108 exec $XTERM -T Isabelle -n Isabelle -geometry "$MAINGEOM" -fn isabelle14 \ |
110 exec $XTERM -T Isabelle -n Isabelle -geometry "$MAINGEOM" -fn isabelle14 \ |
109 -xrm "*fontMenu.Label: Isabelle fonts" \ |
111 -xrm "*fontMenu.Label: Isabelle fonts" \ |
110 -xrm "*fontMenu*font1*Label: Large" \ |
112 -xrm "*fontMenu*font1*Label: Large" \ |
117 -xrm "*VT100*font4:" \ |
119 -xrm "*VT100*font4:" \ |
118 -xrm "*fontMenu*font5*Label:" \ |
120 -xrm "*fontMenu*font5*Label:" \ |
119 -xrm "*VT100*font5:" \ |
121 -xrm "*VT100*font5:" \ |
120 -xrm "*fontMenu*font6*Label:" \ |
122 -xrm "*fontMenu*font6*Label:" \ |
121 -xrm "*VT100*font6:" \ |
123 -xrm "*VT100*font6:" \ |
122 -e $ISABELLE -m isabelle_font -m symbols $PASS "$@" |
124 -e \"$ISABELLE\" -m isabelle_font -m symbols $PASS "$@" |
123 fi |
125 fi |