| Tue, 23 Sep 2008 15:48:55 +0200 | wenzelm | added del_node, which is more efficient for sparse graphs; | changeset | files |
| Tue, 23 Sep 2008 15:48:54 +0200 | wenzelm | IntGraph.del_node; | changeset | files |
| Tue, 23 Sep 2008 15:48:53 +0200 | wenzelm | join_results: special case for empty list, works without multithreading; | changeset | files |
| Tue, 23 Sep 2008 15:48:52 +0200 | wenzelm | added dest_deriv, removed external type deriv; | changeset | files |