changeset 24912 | 52bc004950c4 |
parent 24904 | 5b59fadfe878 |
child 24919 | ad3a8569759c |
1.1 --- a/etc/isar-keywords.el Mon Oct 08 18:13:10 2007 +0200 1.2 +++ b/etc/isar-keywords.el Mon Oct 08 19:53:09 2007 +0200 1.3 @@ -1,6 +1,6 @@ 1.4 ;; 1.5 ;; Keyword classification tables for Isabelle/Isar. 1.6 -;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal 1.7 +;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal. 1.8 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** 1.9 ;; 1.10 ;; $Id$