matita.cs.unibo.it Git - helm.git/history - helm/matita/matitacleanLib.mli

]> matita.cs.unibo.it Git - helm.git/history - helm/matita/matitacleanLib.mli

2005-11-03	Stefano Zacchiroli	better dependencies among modules and symlinking of...	blob \| commitdiff \| raw
2005-10-05	Stefano Zacchiroli	completed support for "-nodb", now also matitaclean...	blob \| commitdiff \| raw \| diff to current
2005-07-22	Claudio Sacerdoti...	Big changes:	blob \| commitdiff \| raw \| diff to current
2005-07-18	Stefano Zacchiroli	merged cic_notation with matita: good luck!	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	* new interface matitaTypes.mli	blob \| commitdiff \| raw \| diff to current
2005-07-04	Enrico Tassi	aded confirmation dialog for baseuri redefinement	blob \| commitdiff \| raw \| diff to current
2005-07-04	Enrico Tassi	matitaclean splitted in matitacleanLib and matitaclean.	blob \| commitdiff \| raw \| diff to current

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