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

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

2005-07-19	Claudio Sacerdoti...	Many bugs in the Makefile fixed.	blob \| commitdiff \| raw
2005-07-08	Claudio Sacerdoti...	dead code removed	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	Claudio Sacerdoti...	matita.ma.templ must be symbolically linked	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	re-added $(H) to matitaclean	blob \| commitdiff \| raw \| diff to current
2005-07-04	Claudio Sacerdoti...	icons added to the list of required symbolic links	blob \| commitdiff \| raw \| diff to current
2005-07-04	Claudio Sacerdoti...	make clean now prints what is being removed	blob \| commitdiff \| raw \| diff to current
2005-07-04	Enrico Tassi	moo do not depend on .depend	blob \| commitdiff \| raw \| diff to current
2005-07-04	Claudio Sacerdoti...	"include" command implemented.	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...	The tests are now in alphabetical order.	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	match.ma removed	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current

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