]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4090bdf) | patch
- added support for "formatted" log messages, mainly
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 15 Mar 2003 18:35:35 +0000 (18:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 15 Mar 2003 18:35:35 +0000 (18:35 +0000)
commit3579acf4950fc4f9a4ddc3e2cfca372d67cba712
tree1b514997c695804df1a9a215dc66b69d2344d6d7tree | snapshot
parent4090bdfcf7474419b5104c0f39ead5a508e0e23acommit | diff
- added support for "formatted" log messages, mainly
  * method logBold
  * method logEmph
  used to log error and debugging messages to be output on HTML pages
helm/uwobo/uwobo_logger.ml diff | blob | history
helm/uwobo/uwobo_logger.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.