Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
updated generated file;
authorwenzelm
Sat, 28 Jun 2008 22:52:01 +0200
changeset 273876adb9e6a649d
parent 27386 d10ec4969b9f
child 27388 226835ea8d2b
updated generated file;
etc/isar-keywords.el file | annotate | diff | comparison | revisions
lib/jedit/isabelle.xml file | annotate | diff | comparison | revisions 
     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$

     2.1 --- a/lib/jedit/isabelle.xml	Sat Jun 28 21:21:21 2008 +0200
     2.2 +++ b/lib/jedit/isabelle.xml	Sat Jun 28 22:52:01 2008 +0200
     2.3 @@ -1,6 +1,6 @@
     2.4  <?xml version="1.0"?>
     2.5  <!DOCTYPE MODE SYSTEM "xmode.dtd">
     2.6 -<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace + FOL + ZF. -->
     2.7 +<!-- Generated from Pure + HOL-Plain + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace + FOL + ZF. -->
     2.8  <!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->
     2.9  <!-- $Id$ -->
    2.10  <MODE>
wneuper/isa