Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated
authorhaftmann
Fri, 12 Oct 2007 08:31:57 +0200
changeset 24997 730d74336b4d
parent 24996 ebd5f4cc7118
child 24998 a339b33adfaf
updated
etc/isar-keywords.el file | annotate | diff | comparison | revisions
lib/jedit/isabelle.xml file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Fri Oct 12 08:25:48 2007 +0200
+++ b/etc/isar-keywords.el	Fri Oct 12 08:31:57 2007 +0200
@@ -45,11 +45,11 @@
     "code_datatype"
     "code_deps"
     "code_exception"
+    "code_include"
     "code_instance"
     "code_library"
     "code_module"
     "code_modulename"
-    "code_moduleprolog"
     "code_monad"
     "code_props"
     "code_reserved"
@@ -420,11 +420,11 @@
     "code_const"
     "code_datatype"
     "code_exception"
+    "code_include"
     "code_instance"
     "code_library"
     "code_module"
     "code_modulename"
-    "code_moduleprolog"
     "code_monad"
     "code_props"
     "code_reserved"
--- a/lib/jedit/isabelle.xml	Fri Oct 12 08:25:48 2007 +0200
+++ b/lib/jedit/isabelle.xml	Fri Oct 12 08:31:57 2007 +0200
@@ -75,11 +75,11 @@
       <OPERATOR>code_datatype</OPERATOR>
       <LABEL>code_deps</LABEL>
       <OPERATOR>code_exception</OPERATOR>
+      <OPERATOR>code_include</OPERATOR>
       <OPERATOR>code_instance</OPERATOR>
       <OPERATOR>code_library</OPERATOR>
       <OPERATOR>code_module</OPERATOR>
       <OPERATOR>code_modulename</OPERATOR>
-      <OPERATOR>code_moduleprolog</OPERATOR>
       <OPERATOR>code_monad</OPERATOR>
       <OPERATOR>code_props</OPERATOR>
       <OPERATOR>code_reserved</OPERATOR>
isabelle