# HG changeset patch
# User wenzelm
# Date 1289604281 -3600
# Node ID d02e483ee82ab504e44d760cf77a9eb17131f1ff
# Parent  035a272797052e00dfa19d494553c68900cdab6c
updated README;

diff -r 035a27279705 -r d02e483ee82a src/Tools/jEdit/README
--- a/src/Tools/jEdit/README	Fri Nov 12 21:37:01 2010 +0100
+++ b/src/Tools/jEdit/README	Sat Nov 13 00:24:41 2010 +0100
@@ -15,9 +15,9 @@
   http://www4.in.tum.de/~wenzelm/papers/async-isabelle-scala.pdf
 
 
-Some limitations of the current implementation (as of Isabelle2009-2):
+Some limitations of the current implementation:
 
-  * No provisions for editing multiple theory files.
+  * No provisions for theory file dependencies inside the editor.
 
   * No reclaiming of old/unused document versions.  Memory will fill
     up eventually, both on the JVM and ML side.