| Mon, 21 Jul 2014 15:23:57 +0200 | kleing | ghc mac installation repaired; test back on. | changeset | files |
| Sun, 20 Jul 2014 22:05:35 +0200 | wenzelm | proper condition wrt. ISABELLE_GHC (cf. 8840fa17e17c); | changeset | files |
| Sun, 20 Jul 2014 20:00:53 +0200 | wenzelm | updated to jdk-8u11 (inactive); | changeset | files |