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.mli

2010-02-04	Andrea Asperti	Added count_occurrences.	blob \| commitdiff \| raw
2009-12-09	Andrea Asperti	Added a "sort_metasenv" function.	blob \| commitdiff \| raw \| diff to current
2009-11-13	Andrea Asperti	Exported apply_subst_context	blob \| commitdiff \| raw \| diff to current
2009-10-29	Claudio Sacerdoti...	New function.	blob \| commitdiff \| raw \| diff to current
2009-10-22	Enrico Tassi	new instantiate, only known bug is w.r.t. in/out scope...	blob \| commitdiff \| raw \| diff to current
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
2008-12-05	Enrico Tassi	coercions are there, but not heavily tested	blob \| commitdiff \| raw \| diff to current
2008-11-21	Enrico Tassi	loc * lazy string -> (loc * string) lazy	blob \| commitdiff \| raw \| diff to current
2008-10-13	Enrico Tassi	initial refiner ....	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.