| Thu, 07 Apr 2011 21:37:42 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 07 Apr 2011 21:23:57 +0200 | wenzelm | constant =?= no longer exists (cf. 8c09e1fa24a7); | changeset | files |
| Thu, 07 Apr 2011 20:56:48 +0200 | wenzelm | clarified sources -- removed odd comments; | changeset | files |