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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
