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

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

[helm.git] / helm / matita / matitaclean.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-26	Enrico Tassi	./matitaclean all removes all	blob \| commitdiff \| raw \| diff to current
2005-09-20	Enrico Tassi	all initialization code is now in the new matitaInit...	blob \| commitdiff \| raw \| diff to current
2005-09-06	Stefano Zacchiroli	misc fixes in cic browser queries (pretty printing...	blob \| commitdiff \| raw \| diff to current
2005-07-22	Claudio Sacerdoti...	matitaclean all now destroys the .matita/xml directory	blob \| commitdiff \| raw \| diff to current
2005-07-22	Claudio Sacerdoti...	Big changes:	blob \| commitdiff \| raw \| diff to current
2005-07-19	Stefano Zacchiroli	use safe_remove to remove files instead of Unix.unlink	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-07	Claudio Sacerdoti...	No more need for symbolic links: .matita, the configura...	blob \| commitdiff \| raw \| diff to current
2005-07-07	Claudio Sacerdoti...	matitaclean now removes the .moo file, if existent.	blob \| commitdiff \| raw \| diff to current
2005-07-07	Enrico Tassi	env creation fix	blob \| commitdiff \| raw \| diff to current
2005-07-07	Enrico Tassi	now tables are recreated if needed and mattiaclean...	blob \| commitdiff \| raw \| diff to current
2005-07-05	Stefano Zacchiroli	ported to new getter interface	blob \| commitdiff \| raw \| diff to current
2005-07-04	Enrico Tassi	matitaclean splitted in matitacleanLib and matitaclean.	blob \| commitdiff \| raw \| diff to current
2005-07-04	Enrico Tassi	matitaclean now call getter.ls using a buri with a...	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	first snapshot of separate compilation	blob \| commitdiff \| raw \| diff to current
2005-06-30	Enrico Tassi	matitaclean anapshot	blob \| commitdiff \| raw \| diff to current

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

RSS Atom