]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/Makefile
fix
[helm.git] / helm / software / matita / Makefile
2006-02-15 Enrico Tassifix
2006-02-08 Stefano Zacchiroliimplemented "install" target
2006-02-08 Stefano Zacchirolino more dummy names for building the library in distrib...
2006-02-07 Stefano Zacchiroli- use the best matitamake to build the library on dist
2006-02-06 Stefano Zacchiroli- bugfix: pass -conffile to matitamake
2006-02-06 Stefano Zacchirolis/ocaml/components/ in the "tag" target
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/