changeset 27387 | 6adb9e6a649d |
parent 27207 | 548e2d3105b9 |
child 27502 | a8561998cea7 |
1.1 --- a/etc/isar-keywords.el Sat Jun 28 21:21:21 2008 +0200 1.2 +++ b/etc/isar-keywords.el Sat Jun 28 22:52:01 2008 +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 + HOL-Statespace. 1.7 +;; Generated from Pure + Pure-ProofGeneral + HOL-Plain + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace. 1.8 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** 1.9 ;; 1.10 ;; $Id$