]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/logger
...
[helm.git] / helm / ocaml / logger /
2004-04-15 Stefano Zacchiroliadded string_of_html_tag (plain text pretty printer...
2004-04-05 Stefano Zacchiroliadded html_of_html_tag
2004-02-11 Stefano Zacchiroli- split away gtk logger
2004-02-05 Stefano Zacchiroliadded html_of_html_msg
2004-01-30 Stefano Zacchiroliadded string_of_html_msg
2004-01-24 Stefano Zacchirolioptionalizide some class parameters
2004-01-14 Stefano Zacchirolimoved here ui_logger from gTopLeve