# HG changeset patch
# User wenzelm
# Date 1318171678 -7200
# Node ID 76fef3e570043b84a32716b5633085d2fb215525
# Parent  3498077f20127398f8e988efbf1e6d58ef0a672e
tuned;

diff -r 3498077f2012 -r 76fef3e57004 src/Tools/jEdit/README.html
--- a/src/Tools/jEdit/README.html	Sun Oct 09 15:46:06 2011 +0200
+++ b/src/Tools/jEdit/README.html	Sun Oct 09 16:47:58 2011 +0200
@@ -147,7 +147,7 @@
     as the Unicode sequences coincide with the symbol mapping.
   </li>
 
-  <li><b>NOTE:</b>Raw unicode characters within prover source files
+  <li><b>NOTE:</b> Raw unicode characters within prover source files
   should be restricted to informal parts, e.g. to write text in
   non-latin alphabets.  Mathematical symbols should be defined via the
   official rendering tables.
@@ -156,7 +156,7 @@
 </ul>
 
 
-<h2>Limitations and workrounds (September 2011)</h2>
+<h2>Limitations and workrounds (October 2011)</h2>
 
 <ul>
   <li>No way to start/stop prover or switch to a different logic.<br/>