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

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

projects / helm.git / history

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

[helm.git] / helm / matita / matitacleanLib.ml

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-10-05	Stefano Zacchiroli	- added support for "-nodb" flag (still missing support...	blob \| commitdiff \| raw \| diff to current
2005-09-27	Stefano Zacchiroli	moved list_uniq to the extlib	blob \| commitdiff \| raw \| diff to current
2005-09-26	Enrico Tassi	MatitacleanLib.remove_baseuris will remove empty direct...	blob \| commitdiff \| raw \| diff to current
2005-09-23	Claudio Sacerdoti...	New module HMysql (to abstract over Mysql and make...	blob \| commitdiff \| raw \| diff to current
2005-09-23	Claudio Sacerdoti...	Too many OPTIMIZE TABLES (because of a very stupid...	blob \| commitdiff \| raw \| diff to current
2005-07-22	Andrea Asperti	An object should be removed from disk (i.e. from the...	blob \| commitdiff \| raw \| diff to current
2005-07-22	Claudio Sacerdoti...	Big changes:	blob \| commitdiff \| raw \| diff to current
2005-07-19	Enrico Tassi	Bug fixed: matitaclean and matitadep now ignores every...	blob \| commitdiff \| raw \| diff to current
2005-07-18	Claudio Sacerdoti...	OPTIMIZE table every 30 deletions: it should help :-)	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-13	Enrico Tassi	matitamake stuff:	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...	* new interface matitaTypes.mli	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	Fixed a bug that prevented the removal of the XML files...	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.