Thu, 16 Aug 2012 15:40:26 +0200 | wenzelm | more robust multi-platform support; | changeset | files |
Thu, 16 Aug 2012 14:25:58 +0200 | wenzelm | updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6; | changeset | files |
Thu, 16 Aug 2012 14:05:50 +0200 | wenzelm | support for jdk-7u6 component; | changeset | files |