Commit graph

2 commits

Author SHA1 Message Date
Simon Cruanes
d19abf889c updated Graph to remove the functor; it is now
imperative, backed by PHashtbl, and offers a simplified Dot-printing interface.
2013-03-04 17:35:22 +01:00
Simon Cruanes
d6d149e549 moved everything to the root directory 2013-03-04 13:25:25 +01:00
Renamed from src/graph.ml (Browse further)