# HG changeset patch
# User bulwahn
# Date 1334589992 -7200
# Node ID 2feb0aab030fc8f79d995c970478ba21b375d866
# Parent  2631a12fb2d1846d38867ac0907a37a55d8617a2# Parent  62d93aec1846cac0ec0592e767e9ca447c0b1dfe
merged

diff -r 2631a12fb2d1 -r 2feb0aab030f src/Tools/jEdit/README.html
--- a/src/Tools/jEdit/README.html	Mon Apr 16 17:22:51 2012 +0200
+++ b/src/Tools/jEdit/README.html	Mon Apr 16 17:26: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>