]> matita.cs.unibo.it Git - helm.git/history - helm/hbugs/broker/Makefile
fixed a typo (inside a comment)
[helm.git] / helm / hbugs / broker / Makefile
2004-01-22 Stefano Zacchiroliadded -thread switch and dependency on lablgtk2.glade
2003-04-16 Stefano Zacchiroliadded ocamlfind trick to trigger rebuild when some...
2003-02-21 Stefano Zacchirolirely on correct settings of OCAMLPATH
2003-02-19 Stefano Zacchiroli- added doc target to generate .dot dependency graph...
2003-01-05 Stefano Zacchiroli- added/moved METAs in meta/ dir
2003-01-05 Stefano Zacchiroli- hbugs first draft release, not yet tested