diff -r 7d70e9735686 -r 02083323ff2c toc.txt --- a/toc.txt Mon Feb 15 01:24:45 2010 +0100 +++ b/toc.txt Mon Feb 15 01:47:33 2010 +0100 @@ -16,12 +16,17 @@ ** sec_digraph_types ** sec_undir_graphs ** sec_special_graphs +*_sec_maps +**_sec_map_concepts +**_own_maps +**_algs_with_maps * sec_graph_adaptors * sec_lp -*_sec_lgf -*_sec_tools +* sec_lgf +* sec_tools +** sec_aux_structures **_sec_time_count **_sec_random -**_sec_graph_to_eps +** sec_graph_to_eps **_sec_glemon * sec_license