[isabelle-dev] getting development version to work (was: newbie Q's getting for development version working on Windows and on Fedora 17.)

Christian Sternagel c-sterna at jaist.ac.jp
Sun Dec 9 02:22:00 CET 2012

Dear Aaron,

there is indeed a simple fix. There is a prebundled Isabelle component 
for Java, which can be installed (together with all other required 
components) via

   isabelle components -a

from a command line.

See also


for how to setup the development version. The official documentation for 
doing so is


Remark: Finding the right combination of packages (Poly/ML, Java, Scala, 
...) to make Isabelle run is delicate (some even call it an arcane 
discipline ;)). That is why everything was bundled into Isabelle 
components, which save the user a lot of work.



On 12/09/2012 09:49 AM, Aaron Gray wrote:
> Hi,
> I am new to Isabelle/HOL but am wanting to use the development version
> on Windows and if not Linux.
> I have tried Windows and copying the existing stable release 'contrib'
> files across but am getting a message presumably from jEdit that it
> requires Java 1.7.
> I could not find a Cygwin Java 1.7 build anywhere and have asked on the
> Cygwin mailing list, but not received a reply yet.
> Also tried Oracle (Sun) Java 1.7 with JDK but am getting the message :-
>      Launch4j - "This application was configured to use bundled JRE but
> the runtime is missing or corrupted."
> On Fedora 17 the Isabelle/HOL stable release ran okay after installing
> Java-1.7.0-openjdk for i686.
> But with the development version I am getting the message :-
>      Unknown ISABELLE_JDK_HOME -- Java tools unavailable.
> Not got my debugging head on so hope you do not mind me posing the
> question here.
> Hoping there is a simple fix for one or both of these problems.
> Many thanks in advance,
> Aaron
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list