matita.cs.unibo.it Git - helm.git/history - helm/matita/library/Makefile

]> matita.cs.unibo.it Git - helm.git/history - helm/matita/library/Makefile

2005-07-04	Enrico Tassi	matitaclean now call getter.ls using a buri with a...	blob \| commitdiff \| raw
2005-07-02	Claudio Sacerdoti...	cosmetic change: a space removed (to make tests/Makefil...	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	more makefile work	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	matitaclean is necessary!	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	* makefile improved	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	new targets:	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	make all is now nicer	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	Two targets now:	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	make MATITAC="../scripts/do_tests.sh ../matitac /dev...	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	Makefile improved	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	The library of matita is borned! Long life to the libra...	blob \| commitdiff \| raw \| diff to current

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