# HG changeset patch
# User wenzelm
# Date 1334589632 -7200
# Node ID 62d93aec1846cac0ec0592e767e9ca447c0b1dfe
# Parent  f4348634595be209a81b00f86d5fd2a73da15249
updated for release;

diff -r f4348634595b -r 62d93aec1846 src/Tools/jEdit/README.html
--- 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>