etc/isar-keywords-ZF.el
changeset 52442 d3c5195b7399
parent 52439 4cf3f6153eb8
child 52549 802576856527
     1.1 --- a/etc/isar-keywords-ZF.el	Mon Jun 24 23:44:36 2013 +0200
     1.2 +++ b/etc/isar-keywords-ZF.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 Pure + ZF.
     1.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10