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

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

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

2005-11-16	Claudio Sacerdoti...	New framework for regression of bad tests.	blob \| commitdiff \| raw
2005-10-06	Stefano Zacchiroli	bugfix: avoid diversion in "make opt"	blob \| commitdiff \| raw \| diff to current
2005-10-05	Stefano Zacchiroli	added MATITA_FLAGS support	blob \| commitdiff \| raw \| diff to current
2005-09-16	Enrico Tassi	added a function to reorder the metasenv.	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-19	Enrico Tassi	avoids generating a wrong/empty/dummy depend	blob \| commitdiff \| raw \| diff to current
2005-07-11	Andrea Asperti	only regular files are ending in .ma are now searched	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...	let's find the .ma files also in subdirectories	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-04	Enrico Tassi	matitaclean now call getter.ls using a buri with a...	blob \| commitdiff \| raw \| diff to current
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.

RSS Atom