src/Tools/jEdit/README.html

--- a/src/Tools/jEdit/README.html	Thu Apr 04 18:44:22 2013 +0200
+++ b/src/Tools/jEdit/README.html	Thu Apr 04 20:59:16 2013 +0200
@@ -15,17 +15,17 @@
 <center><h2><img alt="PIDE" src="PIDE.png" width="230" align="middle"/></h2></center>
 
 <p>
-  <b>PIDE</b> is a framework for sophisticated Prover IDEs,
-  based on Isabelle/Scala technology that is integrated with Isabelle.
-  It is built around a concept of
+  <b>PIDE</b> is a framework for Prover IDEs based on the
+  Isabelle/Scala.  It is built around a concept of
   <em>asynchronous document processing</em>, which is supported
-  natively by the <em>parallel proof engine</em> implemented in Isabelle/ML.
+  natively by the <em>parallel proof engine</em> that is implemented
+  in Isabelle/ML.
 </p>
 
 <p>
-  <b>Isabelle/jEdit</b> is the flagship application of the PIDE framework
-  &mdash; it is ready for small and large Isabelle applications, for
-  beginners and experts alike.
+  <b>Isabelle/jEdit</b> is the main example application of the PIDE
+  framework &mdash; it is ready for small and large Isabelle
+  applications, for beginners and experts alike.
 </p>
 
 <p>