| changeset 2307 | 508d2a233dbc |
| parent 2300 | 9af0cf87ac48 |
| child 2315 | 491e8d4b8fad |
| 2306:0aadfaf8557a | 2307:508d2a233dbc |
|---|---|
1 #!/bin/bash |
1 #!/bin/bash |
2 # |
|
3 # $Id$ |
|
2 # |
4 # |
3 # Isabelle within an xterm. |
5 # Isabelle within an xterm. |
4 # |
6 # |
5 # $Id$ |
7 # TODO: |
6 # |
8 # - font menu (cf. isa-xterm from 8bit package) |
7 # TODO: isabelle fonts |
|
8 |
9 |
9 |
10 |
10 ## diagnostics |
11 ## diagnostics |
11 |
12 |
12 function fail() |
13 function fail() |