| Fri, 29 Jun 2012 10:08:41 +0200 | berghofe | Documented "incomplete" option of spark_end | changeset | files |
| Fri, 29 Jun 2012 09:45:48 +0200 | berghofe | Various improvements | changeset | files |
| Thu, 28 Jun 2012 17:06:11 +0200 | haftmann | no ml-platform-specific components | changeset | files |
| Thu, 28 Jun 2012 09:18:58 +0200 | Andreas Lochbihler | instantiate card_UNIV with nibble and code_numeral | changeset | files |
| Thu, 28 Jun 2012 09:16:00 +0200 | Andreas Lochbihler | change card_UNIV from itself to phantom type to avoid unnecessary closures in generated code | changeset | files |
| Thu, 28 Jun 2012 09:14:57 +0200 | Andreas Lochbihler | add generic phantom type | changeset | files |
| Wed, 27 Jun 2012 17:52:07 +0200 | wenzelm | added universal jdk-6u31 as standard component; | changeset | files |