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

[helm.git] / helm / software / components / ng_kernel / nCicUntrusted.ml

2017-12-28	Claudio Sacerdoti...	patch to make it compile with recent OCaml versions	blob \| commitdiff \| raw
2010-09-30	Enrico Tassi	patches for hints & unification:	blob \| commitdiff \| raw \| diff to current
2010-02-09	Andrea Asperti	Added a count_occurrences function.	blob \| commitdiff \| raw \| diff to current
2010-02-04	Andrea Asperti	Added count_occurrences.	blob \| commitdiff \| raw \| diff to current
2010-02-03	Claudio Sacerdoti...	Bug fixed: projection redexes obtained reducing other...	blob \| commitdiff \| raw \| diff to current
2009-12-09	Andrea Asperti	Added a "sort_metasenv" function.	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-10-21	Enrico Tassi	preserve sharing if map_term_fold_a	blob \| commitdiff \| raw \| diff to current
2009-10-02	Enrico Tassi	fixed bug in coercion application, input/output swapped...	blob \| commitdiff \| raw \| diff to current
2009-10-01	Enrico Tassi	fixed off-by-one	blob \| commitdiff \| raw \| diff to current
2009-09-28	Enrico Tassi	- fixed bug in coercion application, input/output swapp...	blob \| commitdiff \| raw \| diff to current
2009-06-05	denes	Fix : wrong exception was catch in apply_subst	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
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.

RSS Atom