| Thu, 21 Aug 2014 13:59:45 +0200 | desharna | fix tactic failure with rel_induct0 | changeset | files |
| Wed, 20 Aug 2014 20:50:28 +0200 | wenzelm | added jdk-8u20 (inactive); | changeset | files |
| Wed, 20 Aug 2014 17:30:43 +0200 | wenzelm | proper static closure of ML tactic -- data slot is used twice, for ML compiler and transformed declaration; | changeset | files |