--- a/lib/scripts/isa-emacs Wed Dec 04 13:10:52 1996 +0100 +++ b/lib/scripts/isa-emacs Wed Dec 04 13:17:24 1996 +0100 @@ -1,9 +1,9 @@ #!/bin/bash # +# $Id$ +# # Emacs / Isamode interface. # -# $Id$ -# # TODO: isabelle fonts