--- a/lib/scripts/isa-xterm Wed Dec 04 12:30:49 1996 +0100
+++ b/lib/scripts/isa-xterm Wed Dec 04 13:05:47 1996 +0100
@@ -1,10 +1,11 @@
#!/bin/bash
#
+# $Id$
+#
# Isabelle within an xterm.
#
-# $Id$
-#
-# TODO: isabelle fonts
+# TODO:
+# - font menu (cf. isa-xterm from 8bit package)
## diagnostics