# HG changeset patch
# User wenzelm
# Date 1315740442 -7200
# Node ID 68615b48cc128247b7f4022874f647d8b639c489
# Parent  cd60c421b0291c17e81d9d51b8c7994613e27611
more README;

diff -r cd60c421b029 -r 68615b48cc12 src/Tools/jEdit/README.html
--- 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>