--- a/src/Tools/jEdit/README.html Sat Sep 10 23:28:58 2011 +0200
+++ b/src/Tools/jEdit/README.html Sun Sep 11 13:27:22 2011 +0200
@@ -199,6 +199,19 @@
</ul>
+<h2>Known problems with Windows/Cygwin</h2>
+
+<ul>
+
+<li>Occasional session startup problems when loading a logic image
+takes too long (cf. output in "Prover Session / Syslog" panel).</li>
+
+<li>Auxiliary files of a theory (<tt>uses</tt>) cannot be loaded due
+to incompatible path notation inherited from MS-DOS.</li>
+
+</ul>
+
+
<h2>Licenses and home sites of contributing systems</h2>
<ul>