diff -r 7a1302b22a11 -r d0f851903e55 src/Tools/jEdit/README.html
--- a/src/Tools/jEdit/README.html	Tue Sep 27 20:25:15 2011 +0200
+++ b/src/Tools/jEdit/README.html	Tue Sep 27 20:45:15 2011 +0200
@@ -35,7 +35,7 @@
 
 <li>Using the mouse together with the modifier key <tt>C</tt>
 (<tt>CONTROL</tt> on Linux or Windows,
-  <tt>COMMAND</tt> on Mac OS) exposes additional information.</li>
+  <tt>COMMAND</tt> on Mac OS X) exposes additional information.</li>
 
 <li>Dockable panels (e.g. <em>Output</em>) are managed as independent
   windows by jEdit, which also allows multiple instances.</li>
@@ -158,7 +158,7 @@
 </ul>
 
 
-<h2>Known problems with Mac OS</h2>
+<h2>Known problems with Mac OS X</h2>
 
 <ul>
 
@@ -166,22 +166,21 @@
   e.g. between the editor and the Console plugin, which is a standard
   swing text box.  Similar for search boxes etc.</li>
 
-<li>ToggleButton selected state is not rendered if window focus is
-  lost, which is probably a genuine feature of the Apple
-  look-and-feel.</li>
-
-<li>Font.createFont mangles the font family of non-regular fonts,
-  e.g. bold.  IsabelleText font files need to be installed/updated
-  manually.</li>
+<li><tt>Font.createFont</tt> mangles the font family of non-regular
+  fonts, e.g. bold.  IsabelleText font files need to be
+  installed/updated manually if bold versions are desired.  Note that
+  this has to be repeated whenever fonts shipped with Isabelle are
+  updated!</li>
 
 <li>Missing glyphs are collected from other fonts (like Emacs,
-  Firefox).  This is actually an advantage over the Oracle/Sun JVM on
-  Windows or Linux, but probably also the deeper reason for the other
-  oddities of Apple font management.</li>
+  Firefox).  This is actually an advantage over the Oracle JVM on
+  Windows or Linux, but also the deeper reason for other oddities of
+  Apple font management.</li>
 
-<li>The native font renderer of -Dapple.awt.graphics.UseQuartz=true
-  (not enabled by default) fails to handle the infinitesimal font size
-  of "hidden" text (e.g.  used in Isabelle sub/superscripts).</li>
+<li>The native font renderer
+  of <tt>-Dapple.awt.graphics.UseQuartz=true</tt> (<em>not</em>
+  enabled by default) fails to handle the infinitesimal font size of
+  "hidden" text (e.g. used in Isabelle sub/superscripts).</li>
 
 </ul>
 
@@ -191,23 +190,10 @@
 <ul>
 
 <li>The 2D rendering engine of OpenJDK 1.6.x distorts the appearance
-  of the jEdit text area.  Always use official JRE 1.6.x from
-  Sun/Oracle/Apple.</li>
-
-<li>jEdit on OpenJDK is generally not supported.</li>
-
-</ul>
-
+  of the jEdit text area.  Always use official JRE 1.6.x from Oracle
+  or Apple.</li>
 
-<h2>Known problems with Windows/Cygwin</h2>
-
-<ul>
-
-<li>Occasional session startup problems when loading a logic image
-takes too long (cf. output in "Prover Session / Syslog" panel).</li>
-
-<li>Auxiliary files of a theory (<tt>uses</tt>) cannot be loaded due
-to incompatible path notation inherited from MS-DOS.</li>
+<li>jEdit 4.4.x on OpenJDK is generally not supported.</li>
 
 </ul>