src/Pure/General/graph.ML
2001-12-10 berghofe 2001-12-10 Fixed bug in function find_paths.
2000-07-14 wenzelm 2000-07-14 improved add_edges_cyclic;
2000-07-13 wenzelm 2000-07-13 tuned exceptions; added add_deps_acyclic, merge_acyclic;
2000-05-05 wenzelm 2000-05-05 GPLed;
1999-05-17 wenzelm 1999-05-17 removed get_nodes; added keys; all_preds / all_succs: topological order; added del_nodes;
1999-01-25 wenzelm 1999-01-25 tuned;
1999-01-19 wenzelm 1999-01-19 tuned;
1999-01-18 wenzelm 1999-01-18 added General/graph.ML: generic direct graphs;