[isabelle-dev] Isabelle snapshot with Isabelle/jEdit

Makarius makarius at sketis.net
Tue Jun 14 15:57:32 CEST 2011

The nightly Isabelle snapshot now contains prebuilt Isabelle/jEdit.  The 
only requirement is a proper Java 1.6 JVM from Sun/Oracle/Apple (either in 
the PATH or as explicit JAVA_HOME). See also 
http://isabelle.in.tum.de/devel/ -- today's version is 
Isabelle_14-Jun-2011 ba199d75bc7e.

The same can be done manually via Admin/makedist -j JEDIT_BUILD from the 
repository, which requires Scala 2.8.1.final as before.


More information about the isabelle-dev mailing list