Fri, 04 Jun 2010 16:42:26 +0200 | haftmann | first proposal for a announcement | changeset | files |
Fri, 04 Jun 2010 16:02:46 +0200 | krauss | NEWS (more strict internal axioms/defs format) | changeset | files |
Fri, 04 Jun 2010 16:47:36 +0200 | wenzelm | one all-inclusive bundle for each platform; | changeset | files |