# HG changeset patch
# User wenzelm
# Date 1335342281 -7200
# Node ID 9c44fdd287a141d296b847f6d1e040c0c541faae
# Parent  a8989fe9a3a5296eae1db928c64abf60b4705b84
improved spelling;

diff -r a8989fe9a3a5 -r 9c44fdd287a1 src/Tools/jEdit/README.html
--- 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/>