| Mon, 16 Sep 2013 19:30:33 +0200 | wenzelm | merged | changeset | files |
| Mon, 16 Sep 2013 19:27:20 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 16 Sep 2013 17:42:05 +0200 | wenzelm | more antiquotations -- avoid unchecked string literals; | changeset | files |
| Mon, 16 Sep 2013 17:18:56 +0200 | wenzelm | more explicit exception pattern (NB: unqualified exceptions without arguments are in danger of becoming catch-all patterns by accident); | changeset | files |