1.1 --- a/etc/isar-keywords-ZF.el Thu Jul 10 21:12:34 2008 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Thu Jul 10 22:47:26 2008 +0200
1.3 @@ -92,6 +92,7 @@
1.4 "lemma"
1.5 "lemmas"
1.6 "let"
1.7 + "linear_undo"
1.8 "local"
1.9 "locale"
1.10 "method_setup"
1.11 @@ -256,6 +257,7 @@
1.12 "exit"
1.13 "init_toplevel"
1.14 "kill"
1.15 + "linear_undo"
1.16 "quit"
1.17 "redo"
1.18 "undo"
2.1 --- a/etc/isar-keywords.el Thu Jul 10 21:12:34 2008 +0200
2.2 +++ b/etc/isar-keywords.el Thu Jul 10 22:47:26 2008 +0200
2.3 @@ -116,6 +116,7 @@
2.4 "lemma"
2.5 "lemmas"
2.6 "let"
2.7 + "linear_undo"
2.8 "local"
2.9 "locale"
2.10 "method_setup"
2.11 @@ -310,6 +311,7 @@
2.12 "exit"
2.13 "init_toplevel"
2.14 "kill"
2.15 + "linear_undo"
2.16 "quit"
2.17 "redo"
2.18 "undo"
3.1 --- a/lib/jedit/isabelle.xml Thu Jul 10 21:12:34 2008 +0200
3.2 +++ b/lib/jedit/isabelle.xml Thu Jul 10 22:47:26 2008 +0200
3.3 @@ -174,6 +174,7 @@
3.4 <OPERATOR>lemma</OPERATOR>
3.5 <OPERATOR>lemmas</OPERATOR>
3.6 <OPERATOR>let</OPERATOR>
3.7 + <INVALID>linear_undo</INVALID>
3.8 <OPERATOR>local</OPERATOR>
3.9 <OPERATOR>locale</OPERATOR>
3.10 <OPERATOR>method_setup</OPERATOR>