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

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

2006-03-29	Enrico Tassi	few bits to debug the benchmark system	blob \| commitdiff \| raw
2006-03-16	Enrico Tassi	fixed a bug in the Makefile, generatedGui.mli no more...	blob \| commitdiff \| raw \| diff to current
2006-03-15	Enrico Tassi	more work for the release	blob \| commitdiff \| raw \| diff to current
2006-03-14	Enrico Tassi	added elp to distribution	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-23	Stefano Zacchiroli	added "gragrep", grep-like tool over a bunch of grafite...	blob \| commitdiff \| raw \| diff to current
2006-02-15	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2006-02-08	Stefano Zacchiroli	implemented "install" target	blob \| commitdiff \| raw \| diff to current
2006-02-08	Stefano Zacchiroli	no more dummy names for building the library in distrib...	blob \| commitdiff \| raw \| diff to current
2006-02-07	Stefano Zacchiroli	- use the best matitamake to build the library on dist	blob \| commitdiff \| raw \| diff to current
2006-02-06	Stefano Zacchiroli	- bugfix: pass -conffile to matitamake	blob \| commitdiff \| raw \| diff to current
2006-02-06	Stefano Zacchiroli	s/ocaml/components/ in the "tag" target	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.