Mon, 12 Jul 2010 11:39:27 +0200 | haftmann | avoid explicit mandatory prefix markers when prefixes are mandatory implicitly | changeset | files |
Mon, 12 Jul 2010 11:21:56 +0200 | haftmann | merged | changeset | files |
Mon, 12 Jul 2010 11:21:27 +0200 | haftmann | moved co-regularity to class section; avoid duplicated class_deps | changeset | files |