--- 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>