Wed, 17 Oct 2012 10:45:43 +0200 | wenzelm | tuned signature; | changeset | files |
Wed, 17 Oct 2012 10:26:27 +0200 | wenzelm | more formal markup; | changeset | files |
Wed, 17 Oct 2012 00:16:31 +0200 | kuncar | don't be so aggressive when expanding a transfer rule relation; rewrite only the relational part of the rule | changeset | files |