[isabelle-dev] Where do I get jdk1.7.0_09.tar.gz for Cygwin/Windows ?
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
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