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

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

2007-10-28	Enrico Tassi	clean can't fail	blob \| commitdiff \| raw
2007-05-23	Enrico Tassi	makefile reworked to make debian package possible	blob \| commitdiff \| raw \| diff to current
2006-06-13	Stefano Zacchiroli	- distributed matitaGeneratedGui.ml (needed)	blob \| commitdiff \| raw \| diff to current
2006-06-13	Stefano Zacchiroli	distribute more stuff	blob \| commitdiff \| raw \| diff to current
2006-03-22	Enrico Tassi	if DISTRIBUTED all targets require a depend-stamp	blob \| commitdiff \| raw \| diff to current
2006-03-15	Enrico Tassi	more work for the release	blob \| commitdiff \| raw \| diff to current
2006-03-13	Enrico Tassi	Huge commit for the release. Includes:	blob \| commitdiff \| raw \| diff to current
2006-02-08	Stefano Zacchiroli	implemented "install" target	blob \| commitdiff \| raw \| diff to current
2006-02-07	Stefano Zacchiroli	- factorization of the recursive rule	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	on the fly generation of distribution configure.ac	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	ported to the new svn architecture	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	moved toplevel makefile to sfotware/	blob \| commitdiff \| raw \| diff to current

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