# HG changeset patch
# User wenzelm
# Date 1360844207 -3600
# Node ID 2e1bc14724b5bd21f7a0cc06cca1db825212c2e0
# Parent  ef05924984182b6c70d418f06626b7ae5061b169
tuned;

diff -r ef0592498418 -r 2e1bc14724b5 src/Tools/jEdit/README.html
--- 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>