# HG changeset patch
# User wenzelm
# Date 999204671 -7200
# Node ID c6dd19025abeda7e03781ed5a3cc4974fe4829d3
# Parent  d54301357129bbbba43516fe052b4f61841a9017
generated by Session.name;

diff -r d54301357129 -r c6dd19025abe src/Pure/Interface/proof_general.ML
--- a/src/Pure/Interface/proof_general.ML	Thu Aug 30 22:50:01 2001 +0200
+++ b/src/Pure/Interface/proof_general.ML	Thu Aug 30 22:51:11 2001 +0200
@@ -299,7 +299,7 @@
 fun make_elisp_syntax (keywords, commands) =
   ";;\n\
   \;; Keyword classification tables for Isabelle/Isar.\n\
-  \;; This file generated by Isabelle -- DO NOT EDIT!\n\
+  \;; This file was generated by " ^ Session.name () ^ " -- DO NOT EDIT!\n\
   \;;\n\
   \;; $" ^ "Id$\n\
   \;;\n" ^