updated version information;
authorwenzelm
Thu Jan 05 10:59:18 2012 +0100 (2012-01-05)
changeset 46118e99ca055c91d
parent 46117 edd50ec8d471
child 46119 0d7172a7672c
child 46162 1148fab5104e
updated version information;
src/Tools/jEdit/README.html
     1.1 --- a/src/Tools/jEdit/README.html	Wed Jan 04 15:41:18 2012 +0100
     1.2 +++ b/src/Tools/jEdit/README.html	Thu Jan 05 10:59:18 2012 +0100
     1.3 @@ -193,7 +193,7 @@
     1.4  </ul>
     1.5  
     1.6  
     1.7 -<h2>Known problems with Mac OS X</h2>
     1.8 +<h2>Known problems with Mac OS X (Java 1.6)</h2>
     1.9  
    1.10  <ul>
    1.11  
    1.12 @@ -228,7 +228,7 @@
    1.13    of the jEdit text area.  Always use official JRE 1.6.x from Oracle
    1.14    or Apple.</li>
    1.15  
    1.16 -<li>jEdit 4.4.x on OpenJDK is generally not supported.</li>
    1.17 +<li>jEdit 4.4.x on OpenJDK 1.6.x is generally not supported.</li>
    1.18  
    1.19  </ul>
    1.20