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/nCicUntrusted.ml

2009-06-05	denes	Fix : wrong exception was catch in apply_subst	blob \| commitdiff \| raw
2009-06-05	Claudio Sacerdoti...	The kernel _must_ check the correctness of the height...	blob \| commitdiff \| raw \| diff to current
2009-06-03	Claudio Sacerdoti...	Huge commit with several changes:	blob \| commitdiff \| raw \| diff to current
2009-05-25	Enrico Tassi	nasty change in the lexer/parser:	blob \| commitdiff \| raw \| diff to current
2009-05-05	Enrico Tassi	- pretty printer made robust in face of list_nth	blob \| commitdiff \| raw \| diff to current
2009-03-03	Enrico Tassi	- fixed hint generation, more hints are generated	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-10-13	Enrico Tassi	initial refiner ....	blob \| commitdiff \| raw \| diff to current
2008-10-03	Enrico Tassi	the iterator was wrongly processing the application	blob \| commitdiff \| raw \| diff to current
2008-09-24	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current

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