| 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 |
| Wed, 15 Aug 2012 23:06:17 +0200 | ballarin | Clarification: free variables allowed in interpreted locale instances. | changeset | files |
| Wed, 15 Aug 2012 15:10:42 +0200 | nipkow | merged | changeset | files |