]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb1a252) | patch
- generalized sysLogger class so that it logs to a generic output
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 15:14:53 +0000 (15:14 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 15:14:53 +0000 (15:14 +0000)
commit687cbab38e29872274431145d61637da4f672065
tree43b85ff6f9c4577a4e3567c8dca9191bd567c7fdtree | snapshot
parenteb1a25213bb17cf009aebd75b5222ba20a01ea9bcommit | diff
- generalized sysLogger class so that it logs to a generic output
  channel, now it can be used to log also to files, sockets, ...
- better pretty printing of debugging messages: timestamps added
- fixed copyright notice
helm/uwobo/src/ocaml/uwobo_logger.ml diff | blob | history
helm/uwobo/src/ocaml/uwobo_logger.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.