diff -r 4efb68e5576d -r 52bc004950c4 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Mon Oct 08 18:13:10 2007 +0200
+++ b/etc/isar-keywords-ZF.el	Mon Oct 08 19:53:09 2007 +0200
@@ -1,6 +1,6 @@
 ;;
 ;; Keyword classification tables for Isabelle/Isar.
-;; Generated from Pure + Pure-ProofGeneral + FOL + ZF
+;; Generated from Pure + Pure-ProofGeneral + FOL + ZF.
 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
 ;;
 ;; $Id$