]> matita.cs.unibo.it Git - helm.git/history - helm/hbugs/client/Makefile
fixed a typo (inside a comment)
[helm.git] / helm / hbugs / client / Makefile
2004-01-22 Stefano Zacchiroliadded dependency to lablgtk2.glade
2004-01-22 Stefano Zacchiroliadded -thread switch and dependency on lablgtk2.glade
2003-12-17 Stefano Zacchiroligenerate gui to temp file in order to catch lablgladecc...
2003-12-04 Stefano Zacchiroliadded -thread option where needed to make new findlib...
2003-11-06 Claudio Sacerdoti... First release that compiles under lablgtk2 (but it...
2003-04-16 Stefano Zacchiroliadded ocamlfind trick to trigger rebuild when some...
2003-02-19 Stefano Zacchirolis/gui/hbugs_client_gui/
2003-01-24 Stefano Zacchiroliexported hbugsClient class so that it can be used from...
2003-01-10 Stefano Zacchirolifirst client implementation as a standalone application