15 commits

Author	SHA1	Message	Date
Simon Cruanes	6df16975ca	fix bug in CCOpt.filter (close #100)	2017-03-03 14:15:38 +01:00
Simon Cruanes	5713183a3a	remove dead code	2017-03-03 14:15:38 +01:00
Simon Cruanes	03fd42e67d	reindentation	2017-01-25 00:08:12 +01:00
Simon Cruanes	13b283a91d	remove buffer printers, rename pretty-printers to pp	2016-11-03 18:24:11 +01:00
Simon Cruanes	cfad88e906	add CCOpt.get_or with label, deprecates get	2016-06-14 13:58:37 +02:00
Simon Cruanes	07d11c4104	add CCOpt.if_	2016-04-19 11:49:12 +02:00
Simon Cruanes	dba88f5302	add CCOpt.{for_all, exists}	2016-04-18 13:19:26 +02:00
Simon Cruanes	903dac110b	add {CCList,CCOpt}.Infix modules	2016-02-24 20:38:22 +01:00
Simon Cruanes	5cdf59f30c	add CCOpt.map_or, deprecating CCopt.maybe	2016-02-24 20:37:56 +01:00
Simon Cruanes	34445bead0	replace headers in the rest of containers core	2016-02-20 23:24:24 +01:00
Fourchaux	44387de784	Correction typos (fichiers src)	2015-11-08 22:27:59 +01:00
Simon Cruanes	783c9cf808	add CCOpt.choice_seq	2015-09-02 22:12:31 +02:00
Simon Cruanes	3d7035e84f	add CCOpt.print	2015-09-02 21:05:17 +02:00
Simon Cruanes	7e5161f94f	add CCOpt.is_none	2015-05-24 21:38:37 +02: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/CCOpt.ml (Browse further)