diff -r 57a33f4c2c19 -r 5b59fadfe878 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Mon Oct 08 18:13:01 2007 +0200
+++ b/etc/isar-keywords-ZF.el	Mon Oct 08 18:13:03 2007 +0200
@@ -1,6 +1,7 @@
 ;;
 ;; Keyword classification tables for Isabelle/Isar.
-;; This file was generated from FOL + ZF -- DO NOT EDIT!
+;; Generated from Pure + Pure-ProofGeneral + FOL + ZF
+;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
 ;;
 ;; $Id$
 ;;