| Thu, 27 May 2010 15:28:23 +0200 | wenzelm | misc updates for release; | changeset | files |
| Thu, 27 May 2010 15:15:20 +0200 | wenzelm | constant Rat.normalize needs to be qualified; | changeset | files |
| Thu, 27 May 2010 13:13:30 +0200 | wenzelm | merged | changeset | files |