src/Tools/jEdit/README.html

 
   <li>Lack of a few conveniences known from Proof General.</li>
 </ul>
 
 
+<h2>Known problems with Mac OS X</h2>
+
+<ul>
+
+<li>The MacOSX plugin for jEdit disrupts tends to be disruptive. It
+might or might not improve the user experience, and is off by
+default.</li>
+
+<li>Java 7 (by Oracle) is officially supported starting with Lion (or
+later), but not Snow Leopard. It happens to work on the latter as
+well, but there might be some instabilities.</li>
+
+</ul>
+
+
 <h2>Licenses and home sites of contributing systems</h2>
 
 <ul>
 
 <li>Isabelle: BSD-style</li>