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

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

2012-03-12	matitaweb	(no commit message)	tree \| commitdiff
2011-12-14	Wilmer Ricciotti	Matitaweb: large commit porting to the new Matita 0...	tree \| commitdiff
2011-10-11	Wilmer Ricciotti	Matitaweb: Fixed long-time bug with dependencies and...	tree \| commitdiff
2011-09-21	Andrea Asperti	Map in NCicUtils now takes an optional boolea to disabl...	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-05-20	Wilmer Ricciotti	Compilation fix	tree \| commitdiff
2011-02-21	Wilmer Ricciotti	fork for Matita version B	tree \| commitdiff

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