etc/isar-keywords.el
changeset 52442 d3c5195b7399
parent 52439 4cf3f6153eb8
child 52549 802576856527
     1.1 --- a/etc/isar-keywords.el	Mon Jun 24 23:44:36 2013 +0200
     1.2 +++ b/etc/isar-keywords.el	Tue Jun 25 11:26:15 2013 +0200
     1.3 @@ -1,5 +1,6 @@
     1.4  ;;
     1.5 -;; Generated keyword classification tables for Isabelle/Isar.
     1.6 +;; Keyword classification tables for Isabelle/Isar.
     1.7 +;; 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.
     1.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10