diff -r 7b5a5116f3af -r 4cf3f6153eb8 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Jun 24 17:17:17 2013 +0200
+++ b/etc/isar-keywords.el	Mon Jun 24 23:33:14 2013 +0200
@@ -1,6 +1,5 @@
 ;;
-;; Keyword classification tables for Isabelle/Isar.
-;; Generated from HOLCF + HOL-BNF + HOL-Boogie + HOL-Library + HOL-Nominal + HOL-Statespace + HOL-SPARK + HOL-TPTP + HOL-Import.
+;; Generated keyword classification tables for Isabelle/Isar.
 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
 ;;