Mon, 09 Sep 2013 00:59:45 +0200 | krauss | dropped unnecessary 'open' | changeset | files |
Mon, 09 Sep 2013 00:53:50 +0200 | krauss | tuned headers | changeset | files |
Mon, 09 Sep 2013 00:14:07 +0200 | krauss | moved cases post-processing under mk_partial_rules_mutual, using existing bookkeeping information; | changeset | files |