| Thu, 13 Oct 2011 11:45:33 +0200 | wenzelm | discontinued obsolete 'types' command; | changeset | files |
| Wed, 12 Oct 2011 22:48:23 +0200 | wenzelm | modernized structure Induct_Tacs; | changeset | files |
| Wed, 12 Oct 2011 22:21:38 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 12 Oct 2011 21:39:33 +0200 | wenzelm | misc tuning and clarification; | changeset | files |