[isabelle-dev] jdk-8u5

Makarius makarius at sketis.net
Thu Apr 17 16:29:22 CEST 2014


On Thu, 17 Apr 2014, Lawrence Paulson wrote:

> I used it a little bit last night, and couldn't notice any differences.

OK so far.  I only noticed tiny differences in the past few weeks.

Just to make double sure, your Isabelle settings should be something like 
this:

$ isabelle getenv ISABELLE_JDK_HOME
ISABELLE_JDK_HOME=/Users/makarius/.isabelle/contrib/jdk-8u5/x86_64-darwin/Contents/Home
$ isabelle getenv JAVA_HOME
JAVA_HOME=/Users/makarius/.isabelle/contrib/jdk-8u5/x86_64-darwin/Contents/Home


 	Makarius



More information about the isabelle-dev mailing list