| Fri, 22 Aug 2014 08:43:14 +0200 | haftmann | generic euclidean algorithm (due to Manuel Eberl) | changeset | files |
| Thu, 21 Aug 2014 14:41:08 +0200 | haftmann | integrated appendix theory into main theory; | changeset | files |
| Thu, 21 Aug 2014 14:41:05 +0200 | haftmann | dropped dead file | changeset | files |
| 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 |
| Wed, 20 Aug 2014 17:23:47 +0200 | wenzelm | support for declaration within token source; | changeset | files |
| Wed, 20 Aug 2014 16:06:10 +0200 | wenzelm | more uniform data slot; | changeset | files |