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