Wed, 29 Aug 2012 12:18:21 +0200 | wenzelm | more precise indentation; | changeset | files |
Wed, 29 Aug 2012 12:07:57 +0200 | wenzelm | modernized specifications; | changeset | files |
Wed, 29 Aug 2012 12:07:45 +0200 | wenzelm | tuned signature; | changeset | files |