# HG changeset patch
# User wenzelm
# Date 1284124611 -7200
# Node ID cc155a9bf3a23462e31da14b551e420115a621b9
# Parent  d31c03a34f763abd93b257ff34e0b2bd42fec7e0
Markup_Tree is already scalable;

diff -r d31c03a34f76 -r cc155a9bf3a2 src/Tools/jEdit/README
--- a/src/Tools/jEdit/README	Fri Sep 10 15:05:30 2010 +0200
+++ b/src/Tools/jEdit/README	Fri Sep 10 15:16:51 2010 +0200
@@ -26,9 +26,6 @@
     previous commands (proof end on proof head), or markup produced by
     loading external files.
 
-  * Some performance bottlenecks for massive amount of markup,
-    e.g. when processing large ML sections.
-
   * General lack of various conveniences known from Proof General.
 
 Despite these shortcomings, Isabelle/jEdit already demonstrates that