--- a/src/Tools/jEdit/README_BUILD Wed Nov 19 20:51:27 2008 +0100
+++ b/src/Tools/jEdit/README_BUILD Sat Nov 22 00:51:27 2008 +0100
@@ -13,10 +13,15 @@
http://wiki.netbeans.org/Scala
http://plugins.netbeans.org/PluginPortal/faces/PluginDetailPage.jsp?pluginid=11854
-* jEdit 4.3pre14 or similar
+* jEdit 4.3pre16 or similar
http://www.jedit.org/
+
Netbeans Library "jEdit" = .../jedit.jar
+ or
+
+ Netbeans Project "jEdit" (see below)
+
* Flying Saucer XHTML renderer
https://xhtmlrenderer.dev.java.net/
Netbeans Library "Flying-Saucer" = .../core-renderer.jar
@@ -25,6 +30,14 @@
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
=======================================