--- a/src/Tools/jEdit/README.html Wed Apr 25 00:57:41 2012 +0200
+++ b/src/Tools/jEdit/README.html Wed Apr 25 10:24:41 2012 +0200
@@ -17,7 +17,7 @@
<p>
<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
+ 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.
</p>
@@ -156,7 +156,7 @@
</ul>
-<h2>Limitations and workrounds (May 2012)</h2>
+<h2>Limitations and workarounds (May 2012)</h2>
<ul>
<li>No way to start/stop prover or switch to a different logic.<br/>