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

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

[helm.git] / helm / software / components / extlib / hExtlib.ml

2009-07-17	denes	Branched paramodulation for CNF (Horn clauses)	blob \| commitdiff \| raw
2009-06-25	Enrico Tassi	new function	blob \| commitdiff \| raw \| diff to current
2009-06-25	Enrico Tassi	new function list_mapi_acc	blob \| commitdiff \| raw \| diff to current
2009-06-10	Enrico Tassi	new function filter_map_acc	blob \| commitdiff \| raw \| diff to current
2009-05-15	Claudio Sacerdoti...	Patch to add a debugging string to HExtlib.split_nth...	blob \| commitdiff \| raw \| diff to current
2009-05-14	Ferruccio Guidi	- hExtlib: added debugging information for split_nth	blob \| commitdiff \| raw \| diff to current
2009-05-11	Claudio Sacerdoti...	New function list_iter_sep.	blob \| commitdiff \| raw \| diff to current
2009-05-05	Ferruccio Guidi	- hExtlib: new function "list_assoc_all"	blob \| commitdiff \| raw \| diff to current
2009-04-25	Claudio Sacerdoti...	Type for list_index improved.	blob \| commitdiff \| raw \| diff to current
2008-11-28	Ferruccio Guidi	ng_disambiguation ng_kernel ng_refiner disambiguation...	blob \| commitdiff \| raw \| diff to current
2008-11-21	Enrico Tassi	according to camlp5 sources, the dummy loc should be...	blob \| commitdiff \| raw \| diff to current
2008-10-14	Enrico Tassi	more work	blob \| commitdiff \| raw \| diff to current
2008-10-03	Wilmer Ricciotti	Final implementation of proof irrelevant conversion...	blob \| commitdiff \| raw \| diff to current
2008-09-24	Enrico Tassi	added skip function	blob \| commitdiff \| raw \| diff to current
2008-09-19	Enrico Tassi	added list_seq	blob \| commitdiff \| raw \| diff to current
2008-05-30	Enrico Tassi	thanks to the fact that we convert well typed term...	blob \| commitdiff \| raw \| diff to current
2008-05-15	Enrico Tassi	New function list_forall_default3. 3 euros to the first...	blob \| commitdiff \| raw \| diff to current
2008-05-14	Claudio Sacerdoti...	list_iter2_default_value moved to HExtlib. 1 euro to...	blob \| commitdiff \| raw \| diff to current
2008-05-14	Claudio Sacerdoti...	New function map_hash.	blob \| commitdiff \| raw \| diff to current
2008-04-30	Enrico Tassi	added list_mapi	blob \| commitdiff \| raw \| diff to current
2008-04-09	Enrico Tassi	switch off profilers	blob \| commitdiff \| raw \| diff to current
2008-04-09	Enrico Tassi	allow to switch profiling on and off on the fly	blob \| commitdiff \| raw \| diff to current
2008-01-10	Enrico Tassi	BIG FAT WARNING: DEVELOPMENTS DIE HERE	blob \| commitdiff \| raw \| diff to current
2007-10-12	Claudio Sacerdoti...	Move to OCaml 3.10. Requires debian packages from unsta...	blob \| commitdiff \| raw \| diff to current
2007-09-23	Ferruccio Guidi	we chmod the created directories to override the umask...	blob \| commitdiff \| raw \| diff to current
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-18	Claudio Sacerdoti...	rmdir_descend now works also on non existent dirs	blob \| commitdiff \| raw \| diff to current
2006-07-10	Enrico Tassi	added flatten_map	blob \| commitdiff \| raw \| diff to current
2006-05-09	Enrico Tassi	types2006 patch	blob \| commitdiff \| raw \| diff to current
2006-04-05	Enrico Tassi	added estimate_size	blob \| commitdiff \| raw \| diff to current
2006-03-28	Enrico Tassi	more profiling and fixes for paramod	blob \| commitdiff \| raw \| diff to current
2006-03-24	Claudio Sacerdoti...	Legend for profiling printed iff something is profiled.	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-03-21	Enrico Tassi	added calls number	blob \| commitdiff \| raw \| diff to current
2006-03-13	Enrico Tassi	Huge commit for the release. Includes:	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.

RSS Atom