Mon, 28 Jun 2010 16:20:39 +0100 | Christian Urban | separation of translations in derive_qtrm / derive_rtrm (similarly for types) | changeset | files |
Mon, 28 Jun 2010 15:03:07 +0200 | haftmann | merged constants "split" and "prod_case" | changeset | files |
Mon, 28 Jun 2010 15:03:07 +0200 | haftmann | merged constants "split" and "prod_case" -- nitpick behaves differently | changeset | files |
Mon, 28 Jun 2010 15:03:06 +0200 | haftmann | tuned whitespace | changeset | files |
Mon, 28 Jun 2010 13:36:21 +0200 | blanchet | merged | changeset | files |
Mon, 28 Jun 2010 11:04:02 +0200 | blanchet | compile | changeset | files |
Mon, 28 Jun 2010 08:55:46 +0200 | blanchet | merged | changeset | files |