[isabelle-dev] Isabelle/jEdit build

[Makarius]

This is a summary of the current situation with instantaneous building of 
Isabelle/jEdit from the repository (version 300fa46fd081).

* http://www4.in.tum.de/~wenzelm/test/jedit_build-20120327.tar.gz
   provides the auxiliary jedit_build component, which is now using
   jedit-4.5.1 (there is an improved treatment of > 16bit Unicode, as
   requested last year by myself on the jEdit tracker).

   The component is installed as usual, e.g. via this in
   ~/.isabelle/etc/settings:

     init_component ".../jedit_build-20120327"

   Where "..." is expanded to the relative or absolute location of the
   unpacked component.

* ISABELLE_JDK_HOME needs to point to a genuine JDK installation, with the
   proper directory layout (the standard one of Oracle, not the one of
   Debian). Mac OS users can set it like this in ~/.isabelle/etc/settings:

     ISABELLE_JDK_HOME="$(/usr/libexec/java_home -v 1.6)"

* SCALA_HOME needs to point to genuine Scala according to EPFL, not
   Debian.  The variable can be set in regular shell startup environment or
   Isabelle settings.


I have also tried everything with latest Mac OS X Lion -- it works for me.

There is no need to change anything if it works for you already.  In the 
coming release everything will be bundled again to work out-of-the box, 
including full JDK components for the usual platforms.  (This investment 
of 100-200 MB disk space saves a lot of worries for anybody.)


Adventurous beta testers are encouraged to try latest JDK 1.7.x and Scala 
2.10.x release candidates.  Both should also work quite well already.


 	Makarius