| 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 |
| Wed, 20 Aug 2014 17:23:47 +0200 | wenzelm | support for declaration within token source; | changeset | files |