diff -r 0aadfaf8557a -r 508d2a233dbc lib/scripts/isa-xterm
--- 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