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

[Makarius]

> 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 
README_REPOSITORY:

   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.


 	Makarius