# HG changeset patch
# User wenzelm
# Date 849701844 -3600
# Node ID 65ea8bbb4e02d84780fc6a9d3feaac6409724b1b
# Parent  69c51db9481f7e8499ba8a6428a063559f4d2bdb
*** empty log message ***

diff -r 69c51db9481f -r 65ea8bbb4e02 lib/scripts/isa-emacs
--- 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