--- 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/>