]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/logger/Makefile
removed the need of REQUIRES in libraries Makefile, they are now queried from the...
[helm.git] / helm / ocaml / logger / Makefile
2005-11-24 Stefano Zacchiroliremoved the need of REQUIRES in libraries Makefile...
2004-02-11 Stefano Zacchiroli- split away gtk logger
2004-01-14 Stefano Zacchirolimoved here ui_logger from gTopLeve