5 commits

Author	SHA1	Message	Date
Simon Cruanes	8da095f76b	fix in Graph.pp	2013-03-05 12:06:43 +01:00
Simon Cruanes	33d8ac6253	test file for Graph	2013-03-05 11:25:08 +01:00
Simon Cruanes	009afc575b	graph now uses Heap rather than Leftistheap	2013-03-05 11:08:26 +01:00
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)