Wed, 01 Jun 2011 12:20:48 +0200 | wenzelm | tuned; | changeset | files |
Tue, 31 May 2011 22:47:18 +0200 | wenzelm | added Synopsis, with some "Notepad" material; | changeset | files |
Tue, 31 May 2011 22:18:37 +0200 | wenzelm | more accurate deps; | changeset | files |