1.1 --- a/src/Tools/jEdit/README.html Sun Oct 09 15:46:06 2011 +0200
1.2 +++ b/src/Tools/jEdit/README.html Sun Oct 09 16:47:58 2011 +0200
1.3 @@ -147,7 +147,7 @@
1.4 as the Unicode sequences coincide with the symbol mapping.
1.5 </li>
1.6
1.7 - <li><b>NOTE:</b>Raw unicode characters within prover source files
1.8 + <li><b>NOTE:</b> Raw unicode characters within prover source files
1.9 should be restricted to informal parts, e.g. to write text in
1.10 non-latin alphabets. Mathematical symbols should be defined via the
1.11 official rendering tables.
1.12 @@ -156,7 +156,7 @@
1.13 </ul>
1.14
1.15
1.16 -<h2>Limitations and workrounds (September 2011)</h2>
1.17 +<h2>Limitations and workrounds (October 2011)</h2>
1.18
1.19 <ul>
1.20 <li>No way to start/stop prover or switch to a different logic.<br/>