--- 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
- — 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 — it is ready for small and large Isabelle
+ applications, for beginners and experts alike.
</p>
<p>