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

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

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / matita / components / ng_kernel /

2012-05-17	Claudio Sacerdoti...	hash function exported	tree \| commitdiff
2012-05-15	Claudio Sacerdoti...	Bug fixed in does_not_occur when a LetIn was found...	tree \| commitdiff
2012-05-10	Claudio Sacerdoti...	Patch to improve the pretty-printing of error messages.	tree \| commitdiff
2012-01-07	Ferruccio Guidi	lambda_delta: global environments handling: redefined...	tree \| commitdiff
2011-11-24	Ferruccio Guidi	- now destruct tries to clear the replaced variables...	tree \| commitdiff
2011-11-18	Claudio Sacerdoti...	* Almost ready for release 0.99.1.	tree \| commitdiff
2011-10-18	Wilmer Ricciotti	Changes in "destruct" tactic (allowing performance...	tree \| commitdiff
2011-07-15	Claudio Sacerdoti...	Bug fixed: when we try to add an object and it is not...	tree \| commitdiff
2011-06-01	Claudio Sacerdoti...	assert false removed	tree \| commitdiff
2011-03-14	Ferruccio Guidi	dependences fix	tree \| commitdiff
2011-01-11	Claudio Sacerdoti...	HUGE COMMIT:	tree \| commitdiff
2010-12-23	Andrea Asperti	1. bug in addition of universe constraints fixed: the...	tree \| commitdiff
2010-12-02	Claudio Sacerdoti...	[ porting from CerCo's Matita ]	tree \| commitdiff
2010-11-19	Andrea Asperti	Implementation of proof irrelevance finished.	tree \| commitdiff
2010-10-26	Andrea Asperti	cic module removed (RIP)	tree \| commitdiff
2010-10-07	Andrea Asperti	- cic_exportation, cic_acic, acic_content (only parts...	tree \| commitdiff
2010-09-30	Enrico Tassi	sync with stable:	tree \| commitdiff
2010-09-30	Claudio Sacerdoti...	Stuff moved from old Matita.	tree \| commitdiff

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