# HG changeset patch # User wenzelm # Date 1333813727 -7200 # Node ID d78fbe1915445a608a880e2114ba8a8549ca9cea # Parent 580c37559354b59168f3ce9826bd318c84879fc0 updated header keywords; diff -r 580c37559354 -r d78fbe191544 src/Tools/jEdit/src/modes/isabelle.xml --- a/src/Tools/jEdit/src/modes/isabelle.xml Sat Apr 07 16:59:27 2012 +0200 +++ b/src/Tools/jEdit/src/modes/isabelle.xml Sat Apr 07 17:48:47 2012 +0200 @@ -33,6 +33,7 @@ header theory imports + keywords uses begin end