# HG changeset patch
# User wenzelm
# Date 1243678263 -7200
# Node ID 014f67650212da12fee21458c5e7d8d3a3d9c919
# Parent  ea86cc4e04c78acd2949846b900ae8735b2f9afe
more accurate setup for "jEdit" project;

diff -r ea86cc4e04c7 -r 014f67650212 src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Sat May 23 14:26:51 2009 +0200
+++ b/src/Tools/jEdit/README_BUILD	Sat May 30 12:11:03 2009 +0200
@@ -13,14 +13,10 @@
   http://wiki.netbeans.org/Scala
   http://plugins.netbeans.org/PluginPortal/faces/PluginDetailPage.jsp?pluginid=11854
 
-* jEdit 4.3pre16 or similar
+* jEdit 4.3pre16
   http://www.jedit.org/
 
-  Netbeans Library "jEdit" = .../jedit.jar
-
-  or
-
-  Netbeans Project "jEdit" (see below)
+  Netbeans Project "jEdit": unpack official sources in ./contrib/jEdit
 
 * Flying Saucer XHTML renderer
   https://xhtmlrenderer.dev.java.net/
@@ -30,14 +26,6 @@
   Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
 
 
-Auxiliary projects
-==================
-
-* project "jEdit"
-  . unpack official sources .../jEdit
-  . add content of ./contrib/jEdit
-
-
 Running the application within Netbeans
 =======================================