[isabelle-dev] Where do I get jdk1.7.0_09.tar.gz for Cygwin/Windows ?

Makarius makarius at sketis.net
Thu Dec 27 11:01:31 CET 2012

> On 26 December 2012 15:36, Aaron Gray <aaronngray.lists at gmail.com> wrote:
>> Where do I get jdk1.7.0_09.tar.gz for Cygwin/Windows ?
>> Can someone point me at a download for it please.

On Wed, 26 Dec 2012, Aaron Gray wrote:

> Sorry, found it in http://isabelle.in.tum.de/components !

This should work automatically via "isabelle components -a", but it 
depends on proper initialization of standard components as explained in 

   init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"

The above needs to be put into $ISABELLE_HOME_USER/etc/settings -- you can 
use "isabelle getenv ISABELLE_HOME_USER" to find out where that location 
actually is.

Once this is wired up properly, you are subscribed to Isabelle component 
updates for arbitrary repository versions starting from summer 2012.


More information about the isabelle-dev mailing list