--- a/src/Tools/jEdit/README.html Tue Sep 27 21:39:55 2011 +0200
+++ b/src/Tools/jEdit/README.html Tue Sep 27 22:14:15 2011 +0200
@@ -12,10 +12,10 @@
<body>
-<h2>The PIDE framework</h2>
+<center><h2><img alt="PIDE" src="PIDE.png" width="230" align="middle"/></h2></center>
<p>
- <b>PIDE</b> is an emerging framework for sophisticated Prover IDEs,
+ <b>PIDE</b> is a novel framework for sophisticated Prover IDEs,
based on Isabelle/Scala technology that is integrated with Isabelle.
It is build around a concept of
<em>asynchronous document processing</em>, which is supported