| Wed, 13 Jul 2011 20:13:27 +0200 | wenzelm | low-level tuning; | changeset | files |
| Wed, 13 Jul 2011 16:42:14 +0200 | wenzelm | Table.lookup_key and Graph.get_entry allow to retrieve the original key, which is not necessarily identical to the given one; | changeset | files |