--- 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.