]> matita.cs.unibo.it Git - helm.git/commit
added string_of_html_msg
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 30 Jan 2004 08:14:19 +0000 (08:14 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 30 Jan 2004 08:14:19 +0000 (08:14 +0000)
commita17df4da923600a12126dfd2d15fd201119fd334
tree10fb10c9a3c515ead2f1dc21435a37974f954f58
parent444a1e5087b872a07ce43dda40211f9e3613d647
added string_of_html_msg
helm/ocaml/logger/ui_logger.ml
helm/ocaml/logger/ui_logger.mli