Requirements to build from sources
==================================
* Proper Java JRE/JDK from Sun
http://java.sun.com/javase/downloads/index.jsp
* Netbeans 6.5beta
http://download.netbeans.org/netbeans/6.5/beta/
* Scala for Netbeans
http://wiki.netbeans.org/Scala
http://plugins.netbeans.org/PluginPortal/faces/PluginDetailPage.jsp?pluginid=11854
* jEdit 4.3pre14 or similar
http://www.jedit.org/
Netbeans Library "jEdit" = .../jedit.jar
* 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
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