src/Tools/jEdit/src/modes/isabelle-root.xml

--- a/src/Tools/jEdit/src/modes/isabelle-root.xml	Thu Sep 26 16:30:32 2013 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle-root.xml	Thu Sep 26 16:42:18 2013 +0200
@@ -4,6 +4,8 @@
 <!-- Isabelle session root mode -->
 <MODE>
   <PROPS>
+    <PROPERTY NAME="commentStart" VALUE="(*"/>
+    <PROPERTY NAME="commentEnd" VALUE="*)"/>
     <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
     <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
     <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />