isabelle: src/Tools/jEdit/README_BUILD@fd03877ad5bc (annotated)

43281 8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	1	Requirements for instantaneous build from sources
8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	2	=================================================
34324 8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	3
47745 de249b5ae6e2 back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer; wenzelm parents: 47471 diff changeset	4	* Official Java JDK 1.6 from Sun/Oracle/Apple
44700 f4b42f310f86 updated READMEs; wenzelm parents: 44043 diff changeset	5	http://www.oracle.com/technetwork/java/javase/downloads/index.html
34325 a9b94b8f545e requires Java from Sun; wenzelm parents: 34324 diff changeset	6
47745 de249b5ae6e2 back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer; wenzelm parents: 47471 diff changeset	7	(experimental support for JDK/OpenJDK 1.7, but not OpenJDK 1.6)
46117 edd50ec8d471 updated version information; wenzelm parents: 45912 diff changeset	8
47992 7700f0e9618c avoid scala.tools.nsc.Interpreter -- deprecated in scala-2.9.0; wenzelm parents: 47745 diff changeset	9	* Scala 2.9.2
46913 3444a24dc4e9 updated to jedit_build-20120313 with jedit-4.5.0; wenzelm parents: 46117 diff changeset	10	http://www.scala-lang.org
34635 507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	11
46997 395b7277ed76 misc tuning to accomodate scala-2.10.0-M2; wenzelm parents: 46913 diff changeset	12	(experimental support for Scala 2.10.x milestones)
395b7277ed76 misc tuning to accomodate scala-2.10.0-M2; wenzelm parents: 46913 diff changeset	13
43281 8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	14	* Auxiliary jedit_build component
47471 d6a1b5aeb4b1 use official TextArea.isCaretVisible and thus follow the "blink" flag; wenzelm parents: 47460 diff changeset	15	http://www4.in.tum.de/~wenzelm/test/jedit_build-20120414.tar.gz
34919 a5407aabacfe Netbeans Library "Scala-compiler"; wenzelm parents: 34812 diff changeset	16
34325 a9b94b8f545e requires Java from Sun; wenzelm parents: 34324 diff changeset	17
43281 8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	18	Important settings within Isabelle environment
8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	19	==============================================
40442 19faffbe5066 more hints on building and running Isabelle/jEdit from command line; wenzelm parents: 38144 diff changeset	20
47471 d6a1b5aeb4b1 use official TextArea.isCaretVisible and thus follow the "blink" flag; wenzelm parents: 47460 diff changeset	21	* init_component ".../jedit_build-20120414"
47185 300fa46fd081 clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME; wenzelm parents: 47158 diff changeset	22	* ISABELLE_JDK_HOME
300fa46fd081 clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME; wenzelm parents: 47158 diff changeset	23	* SCALA_HOME
300fa46fd081 clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME; wenzelm parents: 47158 diff changeset	24
300fa46fd081 clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME; wenzelm parents: 47158 diff changeset	25	Note that the official directory layout of JDK and Scala is required!
40442 19faffbe5066 more hints on building and running Isabelle/jEdit from command line; wenzelm parents: 38144 diff changeset	26
19faffbe5066 more hints on building and running Isabelle/jEdit from command line; wenzelm parents: 38144 diff changeset	27
43281 8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	28	Build and run
8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	29	=============
34606 76509ef6f1b6 updated notes about Isabelle environment, no longer need to use "isabelle env netbeans"; wenzelm parents: 34600 diff changeset	30
43281 8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	31	isabelle jedit -l HOL Test.thy
34763 eb0f4a9ec052 tuned; wenzelm parents: 34761 diff changeset	32

author	wenzelm
	Wed, 25 Jul 2012 18:05:07 +0200
changeset 48502	fd03877ad5bc
parent 47992	7700f0e9618c
child 48826	b19ba23e70c5
permissions	-rw-r--r--