diff -r 42b0128ae0a7 -r bc3ef6652f1b toc.txt --- a/toc.txt Mon Feb 15 00:36:27 2010 +0100 +++ b/toc.txt Mon Feb 15 01:18:18 2010 +0100 @@ -16,7 +16,7 @@ ** sec_digraph_types ** sec_undir_graphs ** sec_special_graphs -*_sec_graph_adaptors +* sec_graph_adaptors *_sec_tools **_sec_lgf **_sec_time_count