# HG changeset patch
# User wenzelm
# Date 1192030312 -7200
# Node ID 2c27817065bca63b5776c5d25456a392f46f5575
# Parent  16cb899de153af9d64a1ae93c7e8cfcf9578fc3c
updated;

diff -r 16cb899de153 -r 2c27817065bc etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Wed Oct 10 16:29:11 2007 +0200
+++ b/etc/isar-keywords-ZF.el	Wed Oct 10 17:31:52 2007 +0200
@@ -97,6 +97,7 @@
     "method_setup"
     "moreover"
     "next"
+    "no_notation"
     "no_syntax"
     "no_translations"
     "nonterminals"
@@ -372,6 +373,7 @@
     "local"
     "locale"
     "method_setup"
+    "no_notation"
     "no_syntax"
     "no_translations"
     "nonterminals"
diff -r 16cb899de153 -r 2c27817065bc etc/isar-keywords.el
--- a/etc/isar-keywords.el	Wed Oct 10 16:29:11 2007 +0200
+++ b/etc/isar-keywords.el	Wed Oct 10 17:31:52 2007 +0200
@@ -122,6 +122,7 @@
     "method_setup"
     "moreover"
     "next"
+    "no_notation"
     "no_syntax"
     "no_translations"
     "nominal_datatype"
@@ -459,6 +460,7 @@
     "local"
     "locale"
     "method_setup"
+    "no_notation"
     "no_syntax"
     "no_translations"
     "nominal_datatype"
diff -r 16cb899de153 -r 2c27817065bc lib/jedit/isabelle.xml
--- a/lib/jedit/isabelle.xml	Wed Oct 10 16:29:11 2007 +0200
+++ b/lib/jedit/isabelle.xml	Wed Oct 10 17:31:52 2007 +0200
@@ -187,6 +187,7 @@
       <OPERATOR>moreover</OPERATOR>
       <KEYWORD4>morphisms</KEYWORD4>
       <OPERATOR>next</OPERATOR>
+      <OPERATOR>no_notation</OPERATOR>
       <OPERATOR>no_syntax</OPERATOR>
       <OPERATOR>no_translations</OPERATOR>
       <OPERATOR>nominal_datatype</OPERATOR>