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

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

projects / helm.git / history

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

[helm.git] / helm / matita / tests / Makefile

2005-11-16	Claudio Sacerdoti...	New framework for regression of bad tests.	blob \| commitdiff \| raw
2005-10-06	Claudio Sacerdoti...	NODB implemented	blob \| commitdiff \| raw \| diff to current
2005-07-22	Claudio Sacerdoti...	Big changes:	blob \| commitdiff \| raw \| diff to current
2005-07-19	Claudio Sacerdoti...	Many bugs in the Makefile fixed.	blob \| commitdiff \| raw \| diff to current
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.