| Mon, 13 May 2013 22:12:24 +0200 | wenzelm | simplified preferences, removed obsolete operations; | changeset | files |
| Mon, 13 May 2013 22:00:19 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 13 May 2013 21:42:27 +0200 | wenzelm | more direct output of remaining PGIP rudiments; | changeset | files |