diff -r 9a786d5f8821 -r 548e2d3105b9 lib/jedit/isabelle.xml
--- a/lib/jedit/isabelle.xml Sat Jun 14 17:26:15 2008 +0200
+++ b/lib/jedit/isabelle.xml Sat Jun 14 17:49:24 2008 +0200
@@ -82,7 +82,6 @@
code_module
code_modulename
code_monad
- code_props
code_reserved
code_type
@@ -297,7 +296,6 @@
thus
to
- token_translation
transitions