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

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

2012-03-12	matitaweb	(no commit message)	tree \| commitdiff
2011-11-21	Andrea Asperti	Filtering all equations that cannot be embedded (contai...	tree \| commitdiff
2011-11-21	Andrea Asperti	Typo in comment	tree \| commitdiff
2011-11-14	Andrea Asperti	Assert false is no longer true due to tooflex filtering.	tree \| commitdiff
2011-11-14	Andrea Asperti	Too flexible terms are pruned.	tree \| commitdiff
2011-10-28	Andrea Asperti	New management of resulting subst in deep_eq: used...	tree \| commitdiff
2011-09-21	Andrea Asperti	Map in NCicUtils now takes an optional boolea to disabl...	tree \| commitdiff
2011-09-21	matitaweb	1) removed many debug prints	tree \| commitdiff
2011-09-20	Andrea Asperti	The Blob is not abstracted on the context any more.	tree \| commitdiff
2011-09-16	Wilmer Ricciotti	This commit patches the environment and the library...	tree \| commitdiff
2011-06-10	Wilmer Ricciotti	Multi-user matita: changed the status object to include...	tree \| commitdiff
2011-02-21	Wilmer Ricciotti	fork for Matita version B	tree \| commitdiff

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