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

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

2005-09-26	Stefano Zacchiroli	- added integrity checks on .moo files	blob \| commitdiff \| raw
2005-09-13	Stefano Zacchiroli	- changed moo representation in MatitaTypes.status...	blob \| commitdiff \| raw \| diff to current
2005-07-06	Enrico Tassi	matita now asks to save .moo if possible or cleans...	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	matitatop now cleans all before exiting in every situation.	blob \| commitdiff \| raw \| diff to current
2005-07-05	Enrico Tassi	function to domp moo_content is now exported	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	This commit fixes matitatop that was no longer working...	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	* new interface matitaTypes.mli	blob \| commitdiff \| raw \| diff to current
2005-06-28	Enrico Tassi	* new binary matitatop	blob \| commitdiff \| raw \| diff to current

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