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

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

2008-03-22	Enrico Tassi	since many stuff is under contrib, we need to ignore...	blob \| commitdiff \| raw
2008-03-06	Enrico Tassi	skipped freescale and dama_didactic	blob \| commitdiff \| raw \| diff to current
2008-03-06	Enrico Tassi	no more assembly/ to skip	blob \| commitdiff \| raw \| diff to current
2008-01-10	Enrico Tassi	BIG FAT WARNING: DEVELOPMENTS DIE HERE	blob \| commitdiff \| raw \| diff to current
2007-11-16	Enrico Tassi	from the tarball removed all contribs, they used to...	blob \| commitdiff \| raw \| diff to current
2007-10-28	Enrico Tassi	clean can't fail	blob \| commitdiff \| raw \| diff to current
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.

RSS Atom