| Wed, 03 Mar 2010 20:21:30 +0100 | wenzelm | stats for at-poly-test; | changeset | files |
| Wed, 03 Mar 2010 17:08:41 +0100 | wenzelm | proper names for types cfun, sprod, ssum (cf. fa231b86cb1e); | changeset | files |
| Wed, 03 Mar 2010 16:43:55 +0100 | wenzelm | merged, resolving some basic conflicts; | changeset | files |