1.1 --- a/src/Tools/jEdit/README.html	Sat Sep 10 23:28:58 2011 +0200
     1.2 +++ b/src/Tools/jEdit/README.html	Sun Sep 11 13:27:22 2011 +0200
     1.3 @@ -199,6 +199,19 @@
     1.4  </ul>
     1.5  
     1.6  
     1.7 +<h2>Known problems with Windows/Cygwin</h2>
     1.8 +
     1.9 +<ul>
    1.10 +
    1.11 +<li>Occasional session startup problems when loading a logic image
    1.12 +takes too long (cf. output in "Prover Session / Syslog" panel).</li>
    1.13 +
    1.14 +<li>Auxiliary files of a theory (<tt>uses</tt>) cannot be loaded due
    1.15 +to incompatible path notation inherited from MS-DOS.</li>
    1.16 +
    1.17 +</ul>
    1.18 +
    1.19 +
    1.20  <h2>Licenses and home sites of contributing systems</h2>
    1.21  
    1.22  <ul>