matita.cs.unibo.it Git - helm.git/history - helm/software/matita/matitamakeLib.ml

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

2006-10-06	Enrico Tassi	now the makefile for developments requires the depend...	blob \| commitdiff \| raw
2006-09-26	Enrico Tassi	added SRC parameter to makefile (the one placed in...	blob \| commitdiff \| raw \| diff to current
2006-09-21	Stefano Zacchiroli	added displaying of the dep graph of a development...	blob \| commitdiff \| raw \| diff to current
2006-06-14	Stefano Zacchiroli	Enrico: bugfix, remove depend.errors upon destroy	blob \| commitdiff \| raw \| diff to current
2006-03-17	Enrico Tassi	tests are now handled with a standard Makefile that...	blob \| commitdiff \| raw \| diff to current
2006-03-16	Enrico Tassi	one more step toward release and bench reorganization	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-06	Stefano Zacchiroli	- changed semantics of "init": now it is idempotent	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	blob \| commitdiff \| raw \| diff to current

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