Wed, 01 Sep 2010 17:21:50 +0200 | haftmann | simultaneous modification of statements: statement names | changeset | files |
Wed, 01 Sep 2010 17:14:42 +0200 | haftmann | simultaneous modification of statements | changeset | files |
Wed, 01 Sep 2010 16:08:31 +0200 | haftmann | explicit modify_stmt parameter | changeset | files |
Wed, 01 Sep 2010 15:51:49 +0200 | haftmann | Graph.map, in analogy to Table.map | changeset | files |