--- a/src/Tools/jEdit/README.html Mon Apr 16 15:09:47 2012 +0200
+++ b/src/Tools/jEdit/README.html Mon Apr 16 17:20:32 2012 +0200
@@ -29,8 +29,8 @@
</p>
<p>
- <em>Research and implementation of concepts around PIDE has been
- kindly supported in the past 3 years by BMBF (http://www.bmbf.de),
+ <em>Research and implementation of concepts around PIDE has started
+ around 2008 and was kindly supported by BMBF (http://www.bmbf.de),
Université Paris-Sud (http://www.u-psud.fr), and Digiteo
(http://www.digiteo.fr).</em>
</p>
@@ -156,7 +156,7 @@
</ul>
-<h2>Limitations and workrounds (March 2012)</h2>
+<h2>Limitations and workrounds (May 2012)</h2>
<ul>
<li>No way to start/stop prover or switch to a different logic.<br/>
@@ -215,19 +215,6 @@
</ul>
-<h2>Known problems with OpenJDK 1.6.x</h2>
-
-<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 Oracle
- or Apple.</li>
-
-<li>jEdit 4.4.x on OpenJDK 1.6.x is generally not supported.</li>
-
-</ul>
-
-
<h2>Licenses and home sites of contributing systems</h2>
<ul>