tuned; Isabelle2011-1
authorwenzelm
Sun Oct 09 16:47:58 2011 +0200 (2011-10-09)
changeset 4510776fef3e57004
parent 45106 3498077f2012
child 45108 d53036e77ef3
tuned;
src/Tools/jEdit/README.html
     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/>