Requirements to build from sources
==================================
* Proper Java JRE/JDK from Sun, e.g. 1.6.0_07
http://java.sun.com/javase/downloads/index.jsp
* Netbeans 6.5
http://www.netbeans.org/downloads/index.html
* Scala for Netbeans
http://blogtrader.net/page/dcaoyuan/entry/new_scala_plugin_for_netbeans
http://wiki.netbeans.org/Scala
http://plugins.netbeans.org/PluginPortal/faces/PluginDetailPage.jsp?pluginid=11854
* 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
* Isabelle/Pure Scala components
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
=======================================
* Proper Isabelle environment, e.g. via
isabelle env netbeans ...
* Project properties: add "Run" argument like
-settings=/home/makarius/isabelle/jedit