etc/isar-keywords-ZF.el

--- a/etc/isar-keywords-ZF.el	Mon Jun 24 23:44:36 2013 +0200
+++ b/etc/isar-keywords-ZF.el	Tue Jun 25 11:26:15 2013 +0200
@@ -1,5 +1,6 @@
 ;;
-;; Generated keyword classification tables for Isabelle/Isar.
+;; Keyword classification tables for Isabelle/Isar.
+;; Generated from Pure + ZF.
 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
 ;;