]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a96c5b) | patch
moved to the logger module
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jan 2004 17:59:01 +0000 (17:59 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jan 2004 17:59:01 +0000 (17:59 +0000)
commitfab0f4f352935ab462b6b58bd63cbf2812e3ef3e
tree58e924b7963d38a0662d9a4410f4e7b747d8ed05tree | snapshot
parent8a96c5b22d51ee2bbecdacbe5e16397914b3a3fbcommit | diff
moved to the logger module
helm/gTopLevel/ui_logger.ml [deleted file] blob | history
helm/gTopLevel/ui_logger.mli [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.