Fri, 06 Nov 2009 14:42:42 +0100 | krauss | renamed method induct_scheme to induction_schema | changeset | files |
Fri, 06 Nov 2009 13:49:19 +0100 | krauss | NEWS | changeset | files |
Fri, 06 Nov 2009 13:42:29 +0100 | krauss | removed session SizeChange: outdated, only half-functional, alternatives exist (cf. size_change method) | changeset | files |