matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_kernel/oCic2NCic.mli

2009-06-03	Claudio Sacerdoti...	Huge commit with several changes:	blob \| commitdiff \| raw
2008-12-12	Enrico Tassi	better error message, functions to clear various caches...	blob \| commitdiff \| raw \| diff to current
2008-11-28	Enrico Tassi	new disambiguator almost attached	blob \| commitdiff \| raw \| diff to current
2008-10-01	Enrico Tassi	commented out unfinished code	blob \| commitdiff \| raw \| diff to current
2008-09-30	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-05-14	Claudio Sacerdoti...	nuri_of_ouri, ouri_of_nuri, reference_of_ouri, ouri_of_...	blob \| commitdiff \| raw \| diff to current
2008-05-14	Claudio Sacerdoti...	New licence used uniformly everywhere.	blob \| commitdiff \| raw \| diff to current
2008-02-20	Enrico Tassi	added small test, fixed some bugs	blob \| commitdiff \| raw \| diff to current
2008-02-19	Enrico Tassi	transformation almost finisced, not tested	blob \| commitdiff \| raw \| diff to current
2008-02-13	Enrico Tassi	conversion half inplemented	blob \| commitdiff \| raw \| diff to current
2008-01-30	Enrico Tassi	stub functions to make all compile	blob \| commitdiff \| raw \| diff to current

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