--- a/src/Tools/jEdit/README.html Wed Feb 13 21:53:02 2013 +0100
+++ b/src/Tools/jEdit/README.html Thu Feb 14 13:16:47 2013 +0100
@@ -187,28 +187,30 @@
<li>Odd behavior of some diagnostic commands with global
side-effects, like writing a physical
- file.<br/> <em>Workaround:</em> Avoid such commands.</li>
+ file.<br/>
+ <em>Workaround:</em> Avoid such commands.</li>
<li>No way to delete document nodes from the overall collection of
theories.<br/>
<em>Workaround:</em> Restart whole Isabelle/jEdit session in
worst-case situation.</li>
- <li>Some Linux desktop environments with extreme animation effects
- may disrupt Java 7 window placement and keyboard focus.</br/>
+ <li>Linux: some desktop environments with extreme animation effects
+ may disrupt Java 7 window placement and keyboard focus.<br/>
<em>Workaround:</em> Disable such effects.</li>
- <li>Linux/X11 managers that are not "re-parenting" may cause problems with
- additional windows opened by the Java VM. This affects either historic or
- neo-minimalistic window managers like "awesome".<br/>
+ <li>Linux: some X11 window managers that are not "re-parenting"
+ cause problems with additional windows opened by the Java VM. This
+ affects either historic or neo-minimalistic window managers like
+ <em>awesome</em> or <em>xmonad</em>.<br/>
<em>Workaround:</em> Use regular re-parenting window manager.</li>
- <li>The native MacOSX plugin for jEdit tends to be disruptive and is off
- by default. Enabling it might or might not improve the user
- experience.<br/>
+ <li>Mac OS X: the native MacOSX plugin for jEdit tends to be
+ disruptive and is off by default. Enabling it might or might not
+ improve the user experience.<br/>
<em>Workaround:</em> Disable MacOSX plugin.</li></li>
- <li>Java 7 on MacOSX is officially supported on Lion and Mountain Lion,
+ <li>Mac OS X: Java 7 is officially supported on Lion and Mountain Lion,
but not Snow Leopard. It usually works on the latter, although with a
small risk of instabilities.<br/>
<em>Workaround:</em> Update to OS X Mountain Lion.</li>