diff -r d10ec4969b9f -r 6adb9e6a649d etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sat Jun 28 21:21:21 2008 +0200
+++ b/etc/isar-keywords.el	Sat Jun 28 22:52:01 2008 +0200
@@ -1,6 +1,6 @@
 ;;
 ;; Keyword classification tables for Isabelle/Isar.
-;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace.
+;; Generated from Pure + Pure-ProofGeneral + HOL-Plain + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace.
 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
 ;;
 ;; $Id$