matita.cs.unibo.it Git - helm.git/history - components/extlib/hExtlib.mli

]> matita.cs.unibo.it Git - helm.git/history - components/extlib/hExtlib.mli

2007-10-12	Claudio Sacerdoti...	Move to OCaml 3.10. Requires debian packages from unsta...	blob \| commitdiff \| raw
2007-09-23	Ferruccio Guidi	fixed some file permissions (anybody can rebuild a...	blob \| commitdiff \| raw \| diff to current
2007-08-30	Enrico Tassi	added an utility function	blob \| commitdiff \| raw \| diff to current
2007-05-23	Enrico Tassi	added is_writabledir to extlib	blob \| commitdiff \| raw \| diff to current
2006-11-29	Ferruccio Guidi	- decompose tactic: decomposable constants are now...	blob \| commitdiff \| raw \| diff to current
2006-11-15	Ferruccio Guidi	transcript updated	blob \| commitdiff \| raw \| diff to current
2006-09-04	Enrico Tassi	BIG FAT COMMIT REGARDING COERCIONS:	blob \| commitdiff \| raw \| diff to current
2006-07-18	Stefano Zacchiroli	added split_nth	blob \| commitdiff \| raw \| diff to current
2006-07-10	Enrico Tassi	added flatten_map	blob \| commitdiff \| raw \| diff to current
2006-06-01	Stefano Zacchiroli	commented the finally function	blob \| commitdiff \| raw \| diff to current
2006-04-05	Enrico Tassi	added estimate_size	blob \| commitdiff \| raw \| diff to current
2006-03-22	Enrico Tassi	profiler on steroids. added -profile-only to specify...	blob \| commitdiff \| raw \| diff to current
2006-02-22	Stefano Zacchiroli	improved comment of HExtlib.find	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	blob \| commitdiff \| raw \| diff to current

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