isabelle: src/Tools/jEdit/README_BUILD@e2b1fb731241 (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
34377 426d7b9ea225 updates for Netbeans 6.5; wenzelm parents: 34338 diff changeset	5	* Proper Java JRE/JDK from Sun, e.g. 1.6.0_07
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
34377 426d7b9ea225 updates for Netbeans 6.5; wenzelm parents: 34338 diff changeset	8	* Netbeans 6.5
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
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	11	* Scala for Netbeans
34377 426d7b9ea225 updates for Netbeans 6.5; wenzelm parents: 34338 diff changeset	12	http://blogtrader.net/page/dcaoyuan/entry/new_scala_plugin_for_netbeans
34324 8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	13	http://wiki.netbeans.org/Scala
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	14	http://plugins.netbeans.org/PluginPortal/faces/PluginDetailPage.jsp?pluginid=11854
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	15
34381 a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling; wenzelm parents: 34377 diff changeset	16	* jEdit 4.3pre16 or similar
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
34324 8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	19	Netbeans Library "jEdit" = .../jedit.jar
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	20
34381 a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling; wenzelm parents: 34377 diff changeset	21	or
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling; wenzelm parents: 34377 diff changeset	22
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling; wenzelm parents: 34377 diff changeset	23	Netbeans Project "jEdit" (see below)
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling; wenzelm parents: 34377 diff changeset	24
34324 8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	25	* Flying Saucer XHTML renderer
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	26	https://xhtmlrenderer.dev.java.net/
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	27	Netbeans Library "Flying-Saucer" = .../core-renderer.jar
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	28
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	29	* Isabelle/Pure Scala components
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	30	Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	31
34325 a9b94b8f545e requires Java from Sun; wenzelm parents: 34324 diff changeset	32
34381 a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling; wenzelm parents: 34377 diff changeset	33	Auxiliary projects
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling; wenzelm parents: 34377 diff changeset	34	==================
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling; wenzelm parents: 34377 diff changeset	35
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling; wenzelm parents: 34377 diff changeset	36	* project "jEdit"
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling; wenzelm parents: 34377 diff changeset	37	. unpack official sources .../jEdit
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling; wenzelm parents: 34377 diff changeset	38	. add content of ./contrib/jEdit
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling; wenzelm parents: 34377 diff changeset	39
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling; wenzelm parents: 34377 diff changeset	40
34338 b7fdb6b14e0b hint on -settings=...; wenzelm parents: 34327 diff changeset	41	Running the application within Netbeans
b7fdb6b14e0b hint on -settings=...; wenzelm parents: 34327 diff changeset	42	=======================================
34325 a9b94b8f545e requires Java from Sun; wenzelm parents: 34324 diff changeset	43
a9b94b8f545e requires Java from Sun; wenzelm parents: 34324 diff changeset	44	* Proper Isabelle environment, e.g. via
34327 2c0d71323619 tuned whitespace; wenzelm parents: 34326 diff changeset	45	isabelle env netbeans ...
34338 b7fdb6b14e0b hint on -settings=...; wenzelm parents: 34327 diff changeset	46
b7fdb6b14e0b hint on -settings=...; wenzelm parents: 34327 diff changeset	47	* Project properties: add "Run" argument like
b7fdb6b14e0b hint on -settings=...; wenzelm parents: 34327 diff changeset	48	-settings=/home/makarius/isabelle/jedit

author	wenzelm
	Fri, 16 Jan 2009 22:57:24 +0100
changeset 34476	e2b1fb731241
parent 34381	a94d2fb96fd5
child 34572	014f67650212
permissions	-rw-r--r--