1.1 --- a/etc/isar-keywords-ZF.el	Mon Oct 08 18:13:01 2007 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Mon Oct 08 18:13:03 2007 +0200
     1.3 @@ -1,6 +1,7 @@
     1.4  ;;
     1.5  ;; Keyword classification tables for Isabelle/Isar.
     1.6 -;; This file was generated from FOL + ZF -- DO NOT EDIT!
     1.7 +;; Generated from Pure + Pure-ProofGeneral + FOL + ZF
     1.8 +;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10  ;; $Id$
    1.11  ;;