]> matita.cs.unibo.it Git - helm.git/commit
added string_of_html_tag (plain text pretty printer for tags)
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 15 Apr 2004 12:52:24 +0000 (12:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 15 Apr 2004 12:52:24 +0000 (12:52 +0000)
commit57af26570f0925769d943e37a0c5f26acd8e3255
treef21f1d174a02048c1e418141df52ca2b6708a8ae
parentf0e7ce0a6e8c15f198fab4d567b884a8ef7f6b0b
added string_of_html_tag (plain text pretty printer for tags)
helm/ocaml/logger/helmLogger.ml
helm/ocaml/logger/helmLogger.mli