src/Tools/jEdit/README_BUILD
changeset 34381 a94d2fb96fd5
parent 34377 426d7b9ea225
child 34572 014f67650212
--- 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
 =======================================