matita.cs.unibo.it Git - helm.git/history - helm/ocaml/extlib/hExtlib.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/extlib/hExtlib.ml

2005-11-15	Enrico Tassi	list_uniq abstracted on equality	blob \| commitdiff \| raw
2005-11-04	Enrico Tassi	added calbback to make the profiler silent	blob \| commitdiff \| raw \| diff to current
2005-11-04	Stefano Zacchiroli	added char functions:	blob \| commitdiff \| raw \| diff to current
2005-10-27	Claudio Sacerdoti...	1. Parameter enable (default true) added to HExtlib...	blob \| commitdiff \| raw \| diff to current
2005-10-25	Stefano Zacchiroli	added iter_option	blob \| commitdiff \| raw \| diff to current
2005-10-11	Stefano Zacchiroli	added list_concat	blob \| commitdiff \| raw \| diff to current
2005-10-05	Stefano Zacchiroli	added find	blob \| commitdiff \| raw \| diff to current
2005-10-04	Stefano Zacchiroli	added filter_map	blob \| commitdiff \| raw \| diff to current
2005-09-27	Stefano Zacchiroli	added list_uniq	blob \| commitdiff \| raw \| diff to current
2005-09-26	Stefano Zacchiroli	implemented the first bunch of useful functions	blob \| commitdiff \| raw \| diff to current
2005-09-23	Claudio Sacerdoti...	CicUtil.profile ==> HExtlib.profile	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.