]> matita.cs.unibo.it Git - helm.git/commit
- export level and levelNo with methods
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:15:18 +0000 (09:15 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:15:18 +0000 (09:15 +0000)
commit285f5b4454e34023e57b21d4b6b908979aa79a69
tree6c5719e20d203df95ebf8203e075725b7836e382
parent77994a44a78f2a0a510296bdc2ec8c9cf882b222
- export level and levelNo with methods
- escape also spaces with '+' in html escaping
helm/uwobo/src/ocaml/uwobo_logger.ml
helm/uwobo/src/ocaml/uwobo_logger.mli