5 commits

Author	SHA1	Message	Date
Simon Cruanes	a2179d4355	prepare for 0.16	2016-02-24 22:08:26 +01:00
Simon Cruanes	8a3b559970	breaking: change the signature of CCHeap.{of_gen,of_seq,of_klist}	2016-02-24 21:52:26 +01:00
Simon Cruanes	ac6900976a	add a printer into CCHeap	2016-02-24 21:52:26 +01:00
Simon Cruanes	34445bead0	replace headers in the rest of containers core	2016-02-20 23:24:24 +01:00
Simon Cruanes	61465fa19a	remove cgi/; move sub-libraries to their own subdir each; mv everything into src/	2014-12-16 23:41:59 +01:00

Renamed from core/CCHeap.mli (Browse further)