fixed cvs Id;
authorwenzelm
Tue May 25 20:19:59 1999 +0200 (1999-05-25 ago)
changeset 6724b5007e5e8a1b
parent 6723 f342449d73ca
child 6725 b91772e592dc
fixed cvs Id;
src/Pure/Interface/proof_general.ML
     1.1 --- a/src/Pure/Interface/proof_general.ML	Mon May 24 21:57:13 1999 +0200
     1.2 +++ b/src/Pure/Interface/proof_general.ML	Tue May 25 20:19:59 1999 +0200
     1.3 @@ -35,7 +35,7 @@
     1.4    \;; Keyword classification tables for Isabelle/Isar.\n\
     1.5    \;; This file generated by Isabelle -- DO NOT EDIT!\n\
     1.6    \;;\n\
     1.7 -  \;; $Id$\n\
     1.8 +  \;; $" ^ "Id$\n\
     1.9    \;;\n" ^
    1.10    defconst "minor" (filter Syntax.is_identifier (keywords \\ map #1 commands)) ^
    1.11    implode (map (make_elisp_commands commands) OuterSyntax.Keyword.kinds) ^