Requirements to build from sources

==================================

* Proper Java JRE/JDK from Sun, e.g. 1.6.0_17

  http://java.sun.com/javase/downloads/index.jsp

* Netbeans 6.7

  http://www.netbeans.org/downloads/index.html

* Scala for Netbeans: version 6.7v1 for NB 6.7

  http://sourceforge.net/project/showfiles.php?group_id=192439&package_id=256544

  http://blogtrader.net/dcaoyuan/category/NetBeans

  http://wiki.netbeans.org/Scala

* jEdit 4.3pre18

  http://www.jedit.org/

  Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.

* jEdit plugins:

    Netbeans Library "Sidekick" = $HOME/.jedit/jars/SideKick.jar

    Netbeans Library "ErrorList" = $HOME/.jedit/jars/ErrorList.jar

    Netbeans Library "Hyperlink" = $HOME/.jedit/jars/Hyperlinks.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

=======================================

* Project properties: add "Run" argument like

    -noserver -nobackground -settings=/home/makarius/isabelle/isabelle-jedit/dist

* The Isabelle environment is obtained automatically via

  "$ISABELLE_HOME/bin/isabelle getenv", where ISABELLE_HOME is determined as follows:

    (1) via regular Isabelle settings,

    e.g. "isabelle env netbeans"

    (2) or via ISABELLE_HOME from raw process environment,

    	e.g. "env ISABELLE_HOME=.../Isabelle netbeans"

    (3) or via JVM system properties (cf. "Run / VM Options")

    	e.g. -Disabelle.home=.../Isabelle