Requirements to build from sources

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

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

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

* Netbeans 6.9

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

* Scala for Netbeans: version 6.9v1.1.0

  http://wiki.netbeans.org/Scala

  http://wiki.netbeans.org/Scala68v1

  http://sourceforge.net/projects/erlybird/files/nb-scala/6.9v1.1.0

* jEdit 4.3.2

  http://www.jedit.org/

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

* jEdit plugins:

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

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

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

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

* Cobra Renderer 0.98.4

  http://lobobrowser.org/cobra.jsp

  Netbeans Library "Cobra-Renderer" = .../cobra.jar

  Netbenas Library "Rhino-JavaScript" = .../js.jar

* Isabelle/Pure Scala components

  Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar

* Scala Compiler 2.8.1.final

  http://www.scala-lang.org

  Netbeans Library "Scala-compiler" = $SCALA_HOME/lib/scala-compiler.jar

  WN in SCALA_HOME/etc/netbeans.conf add to 

     netbeans_default_options="....... -J-Dscala.home=$SCALA_HOME"

Building and running from command line (recommended)

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

* Manual build:

  ( cd "$HOME/isabelle/repos/src/Pure" && isabelle env ./build-jars )

  ant jar

  makedist -j "$HOME/lib/jedit-4.3.2"  #location of original jedit distribution

* Component setup, e.g. in $ISABELLE_HOME_USER/.isabelle/etc/settings:

  [ -d "$HOME/isabelle/jedit" ] && init_component "$HOME/isabelle/jedit"  #build location

* Run:

  isabelle jedit -l HOL Test.thy &

Running the application within Netbeans (not recommended)

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

* 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

Misc notes

==========

- Netbeans config/Editors/Preferences/...-CustomPreferences.xml

    <entry javaType="java.lang.Integer" name="caret-blink-rate" xml:space="preserve">

        <value><![CDATA[0]]></value>

    </entry>

-----------------------------------------------------------------------

To run jedit with remote debugging enabled, I use the following

command: "java

-agentlib:jdwp=transport=dt_socket,suspend=y,server=y,address=XXXX

-jar jedit.jar"

where XXXX is any open port number you wish. The above invocation

works for Sun's JDK 5.0.  There's an alternate incantation for earlier

releases. (See

http://java.sun.com/j2se/1.5.0/docs/guide/jpda/conninv.html)

-----------------------------------------------------------------------