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 generated file;
authorwenzelm
Thu, 10 Jul 2008 22:47:26 +0200
changeset 27538 65f64da68a97
parent 27537 17838612217b
child 27539 115d3a8bc6a6
updated generated file;
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions
lib/jedit/isabelle.xml file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords-ZF.el	Thu Jul 10 21:12:34 2008 +0200
+++ b/etc/isar-keywords-ZF.el	Thu Jul 10 22:47:26 2008 +0200
@@ -92,6 +92,7 @@
     "lemma"
     "lemmas"
     "let"
+    "linear_undo"
     "local"
     "locale"
     "method_setup"
@@ -256,6 +257,7 @@
     "exit"
     "init_toplevel"
     "kill"
+    "linear_undo"
     "quit"
     "redo"
     "undo"
--- a/etc/isar-keywords.el	Thu Jul 10 21:12:34 2008 +0200
+++ b/etc/isar-keywords.el	Thu Jul 10 22:47:26 2008 +0200
@@ -116,6 +116,7 @@
     "lemma"
     "lemmas"
     "let"
+    "linear_undo"
     "local"
     "locale"
     "method_setup"
@@ -310,6 +311,7 @@
     "exit"
     "init_toplevel"
     "kill"
+    "linear_undo"
     "quit"
     "redo"
     "undo"
--- a/lib/jedit/isabelle.xml	Thu Jul 10 21:12:34 2008 +0200
+++ b/lib/jedit/isabelle.xml	Thu Jul 10 22:47:26 2008 +0200
@@ -174,6 +174,7 @@
       <OPERATOR>lemma</OPERATOR>
       <OPERATOR>lemmas</OPERATOR>
       <OPERATOR>let</OPERATOR>
+      <INVALID>linear_undo</INVALID>
       <OPERATOR>local</OPERATOR>
       <OPERATOR>locale</OPERATOR>
       <OPERATOR>method_setup</OPERATOR>
isabelle