isabelle: src/Tools/jEdit/README_BUILD@83b553bd3fa3 (annotated)

34324 8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	1
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	2	Requirements to build from sources
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	3	==================================
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	4
34743 eb49306946f4 basic platform update; wenzelm parents: 34661 diff changeset	5	* Proper Java JRE/JDK from Sun, e.g. 1.6.0_17
34325 a9b94b8f545e requires Java from Sun; wenzelm parents: 34324 diff changeset	6	http://java.sun.com/javase/downloads/index.jsp
a9b94b8f545e requires Java from Sun; wenzelm parents: 34324 diff changeset	7
34635 507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	8	* Netbeans 6.7
34377 426d7b9ea225 updates for Netbeans 6.5; wenzelm parents: 34338 diff changeset	9	http://www.netbeans.org/downloads/index.html
34324 8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	10
34635 507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	11	* Scala for Netbeans: version 6.7v1 for NB 6.7
34587 72b02f9c509c updated versions; wenzelm parents: 34572 diff changeset	12	http://sourceforge.net/project/showfiles.php?group_id=192439&package_id=256544
72b02f9c509c updated versions; wenzelm parents: 34572 diff changeset	13	http://blogtrader.net/dcaoyuan/category/NetBeans
34324 8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	14	http://wiki.netbeans.org/Scala
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	15
34743 eb49306946f4 basic platform update; wenzelm parents: 34661 diff changeset	16	* jEdit 4.3pre18
34324 8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	17	http://www.jedit.org/
34381 a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling; wenzelm parents: 34377 diff changeset	18
34645 f6f124c9b63b updated to jEdit 4.3pre17; wenzelm parents: 34635 diff changeset	19	Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.
34635 507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	20
507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	21	* jEdit plugins:
507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	22	Netbeans Library "Sidekick" = $HOME/.jedit/jars/SideKick.jar
507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	23	Netbeans Library "ErrorList" = $HOME/.jedit/jars/ErrorList.jar
34661 a034cdf55f69 typo immler@in.tum.de parents: 34645 diff changeset	24	Netbeans Library "Hyperlink" = $HOME/.jedit/jars/Hyperlinks.jar
34381 a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling; wenzelm parents: 34377 diff changeset	25
34324 8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	26	* Flying Saucer XHTML renderer
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	27	https://xhtmlrenderer.dev.java.net/
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	28	Netbeans Library "Flying-Saucer" = .../core-renderer.jar
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	29
34745 83b553bd3fa3 basic setup for Cobra HTML renderer; wenzelm parents: 34743 diff changeset	30	* Cobra Renderer
83b553bd3fa3 basic setup for Cobra HTML renderer; wenzelm parents: 34743 diff changeset	31	http://lobobrowser.org/cobra.jsp
83b553bd3fa3 basic setup for Cobra HTML renderer; wenzelm parents: 34743 diff changeset	32	Netbeans Library "Cobra-Renderer" = .../cobra.jar
83b553bd3fa3 basic setup for Cobra HTML renderer; wenzelm parents: 34743 diff changeset	33	Netbenas Library "Rhino-JavaScript" = .../js.jar
83b553bd3fa3 basic setup for Cobra HTML renderer; wenzelm parents: 34743 diff changeset	34
34324 8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	35	* Isabelle/Pure Scala components
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	36	Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	37
34325 a9b94b8f545e requires Java from Sun; wenzelm parents: 34324 diff changeset	38
34338 b7fdb6b14e0b hint on -settings=...; wenzelm parents: 34327 diff changeset	39	Running the application within Netbeans
b7fdb6b14e0b hint on -settings=...; wenzelm parents: 34327 diff changeset	40	=======================================
34325 a9b94b8f545e requires Java from Sun; wenzelm parents: 34324 diff changeset	41
34338 b7fdb6b14e0b hint on -settings=...; wenzelm parents: 34327 diff changeset	42	* Project properties: add "Run" argument like
34587 72b02f9c509c updated versions; wenzelm parents: 34572 diff changeset	43	-noserver -nobackground -settings=/home/makarius/isabelle/isabelle-jedit/dist
34606 76509ef6f1b6 updated notes about Isabelle environment, no longer need to use "isabelle env netbeans"; wenzelm parents: 34600 diff changeset	44
34635 507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	45	* The Isabelle environment is obtained automatically via
507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	46	"$ISABELLE_HOME/bin/isabelle getenv", where ISABELLE_HOME is determined as follows:
34606 76509ef6f1b6 updated notes about Isabelle environment, no longer need to use "isabelle env netbeans"; wenzelm parents: 34600 diff changeset	47
34635 507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	48	(1) via regular Isabelle settings,
507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	49	e.g. "isabelle env netbeans"
34606 76509ef6f1b6 updated notes about Isabelle environment, no longer need to use "isabelle env netbeans"; wenzelm parents: 34600 diff changeset	50
34635 507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	51	(2) or via ISABELLE_HOME from raw process environment,
507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	52	e.g. "env ISABELLE_HOME=.../Isabelle netbeans"
34606 76509ef6f1b6 updated notes about Isabelle environment, no longer need to use "isabelle env netbeans"; wenzelm parents: 34600 diff changeset	53
76509ef6f1b6 updated notes about Isabelle environment, no longer need to use "isabelle env netbeans"; wenzelm parents: 34600 diff changeset	54	(3) or via JVM system properties (cf. "Run / VM Options")
34635 507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	55	e.g. -Disabelle.home=.../Isabelle
34606 76509ef6f1b6 updated notes about Isabelle environment, no longer need to use "isabelle env netbeans"; wenzelm parents: 34600 diff changeset	56

author	wenzelm
	Fri, 04 Dec 2009 17:14:44 +0100
changeset 34745	83b553bd3fa3
parent 34743	eb49306946f4
child 34755	bc255171994b
permissions	-rw-r--r--