diff -r ffc3f1659a25 -r d3c5195b7399 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Jun 24 23:44:36 2013 +0200
+++ b/etc/isar-keywords.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 HOL + HOL-BNF + HOL-BNF-LFP + HOL-Bali + HOL-Boogie + HOL-Decision_Procs + HOL-Import + HOL-Library + HOL-Mutabelle + HOL-Nominal + HOL-Proofs + HOL-SPARK + HOL-Statespace + HOL-TPTP + HOL-ex + HOLCF + Pure.
 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
 ;;