# HG changeset patch # User wenzelm # Date 1246650840 -7200 # Node ID 507ab6c2df469b2e22ff22ad66fd700634cab033 # Parent 4b797391859a5e8f31df21b75b02c08d409308f9 updated to Netbeans 6.7; added jEdit plugins; updated startup (Isabelle_System configuration); diff -r 4b797391859a -r 507ab6c2df46 src/Tools/jEdit/README_BUILD --- a/src/Tools/jEdit/README_BUILD Tue Jun 30 21:22:50 2009 +0200 +++ b/src/Tools/jEdit/README_BUILD Fri Jul 03 21:54:00 2009 +0200 @@ -5,10 +5,10 @@ * Proper Java JRE/JDK from Sun, e.g. 1.6.0_10 http://java.sun.com/javase/downloads/index.jsp -* Netbeans 6.5 or 6.7 +* Netbeans 6.7 http://www.netbeans.org/downloads/index.html -* Scala for Netbeans: version 0.15.1 for NB 6.5, or version 6.7v1 for NB 6.7 +* 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 @@ -16,7 +16,12 @@ * jEdit 4.3pre16 http://www.jedit.org/ - Netbeans Project "jEdit": unpack official sources in ./contrib/jEdit + 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/ @@ -32,16 +37,15 @@ * Project properties: add "Run" argument like -noserver -nobackground -settings=/home/makarius/isabelle/isabelle-jedit/dist -* The Isabelle environment is obtained automatically via "isabelle - getenv", which is determined as follows: +* The Isabelle environment is obtained automatically via + "$ISABELLE_HOME/bin/isabelle getenv", where ISABELLE_HOME is determined as follows: - (1) via ISABELLE_TOOL from regular Isabelle settings, - e.g. "isabelle env netbeans" + (1) via regular Isabelle settings, + e.g. "isabelle env netbeans" - (2) or via ISABELLE_TOOL from raw process environment, - e.g. "env ISABELLE_TOOL=.../bin/isabelle 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.tool=.../bin/isabelle + e.g. -Disabelle.home=.../Isabelle - (4) or via "isabelle" found in PATH