changeset 24904 | 5b59fadfe878 |
parent 24876 | 81ed46bc0420 |
child 24912 | 52bc004950c4 |
--- a/etc/isar-keywords-ZF.el Mon Oct 08 18:13:01 2007 +0200 +++ b/etc/isar-keywords-ZF.el Mon Oct 08 18:13:03 2007 +0200 @@ -1,6 +1,7 @@ ;; ;; Keyword classification tables for Isabelle/Isar. -;; This file was generated from FOL + ZF -- DO NOT EDIT! +;; Generated from Pure + Pure-ProofGeneral + FOL + ZF +;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** ;; ;; $Id$ ;;