]> matita.cs.unibo.it Git - helm.git/commit
- added logger module
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jan 2004 17:57:59 +0000 (17:57 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jan 2004 17:57:59 +0000 (17:57 +0000)
commit8a96c5b22d51ee2bbecdacbe5e16397914b3a3fb
treef9063e57534e24691ed65dae960c0a234d63878e
parent05a96edc1a298d5a6d92919e0b68f0377604387f
- added logger module
- vertical ordering
helm/ocaml/Makefile.in