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

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

[helm.git] / helm / software / components / ng_refiner / check.ml

2009-04-01	Enrico Tassi	1) mk_meta now returns also the index of the created...	blob \| commitdiff \| raw
2008-12-19	Enrico Tassi	added better debug_pps and add_user_provided_unificatio...	blob \| commitdiff \| raw \| diff to current
2008-12-16	Enrico Tassi	make it compile again	blob \| commitdiff \| raw \| diff to current
2008-12-05	Enrico Tassi	coercions are there, but not heavily tested	blob \| commitdiff \| raw \| diff to current
2008-11-06	Enrico Tassi	do not erase sorts	blob \| commitdiff \| raw \| diff to current
2008-10-27	Enrico Tassi	many bugs fixed	blob \| commitdiff \| raw \| diff to current
2008-10-21	Enrico Tassi	better pps	blob \| commitdiff \| raw \| diff to current
2008-10-20	Enrico Tassi	more bug fixed (or introduced)	blob \| commitdiff \| raw \| diff to current
2008-10-20	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-10-15	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-10-14	Enrico Tassi	more work	blob \| commitdiff \| raw \| diff to current
2008-10-14	Enrico Tassi	term refinement almost done, some functions exported...	blob \| commitdiff \| raw \| diff to current
2008-10-13	Enrico Tassi	initial refiner ....	blob \| commitdiff \| raw \| diff to current
2008-10-06	Enrico Tassi	slow example	blob \| commitdiff \| raw \| diff to current
2008-10-06	Enrico Tassi	3 nasty bugs fixed:	blob \| commitdiff \| raw \| diff to current
2008-10-06	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-10-03	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-10-03	Enrico Tassi	better test	blob \| commitdiff \| raw \| diff to current
2008-10-03	Enrico Tassi	not so nice patch to small_delta_step	blob \| commitdiff \| raw \| diff to current
2008-10-03	Enrico Tassi	- NCicPp.ppterm applies the substitution	blob \| commitdiff \| raw \| diff to current
2008-10-03	Enrico Tassi	better debuggin output	blob \| commitdiff \| raw \| diff to current
2008-10-02	Enrico Tassi	error...	blob \| commitdiff \| raw \| diff to current
2008-10-02	Enrico Tassi	we can test the unification algorithm!	blob \| commitdiff \| raw \| diff to current
2008-09-16	Enrico Tassi	new directory for the newGeneration refiner	blob \| commitdiff \| raw \| diff to current

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

RSS Atom