]> matita.cs.unibo.it Git - helm.git/commit
added version information
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Mar 2003 15:06:21 +0000 (15:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Mar 2003 15:06:21 +0000 (15:06 +0000)
commitfdc2491d02e3bb98d7f320917b29632d97bd1164
tree6db8b85c685c7eb3d83b2bfa80d639a056517fc0
parentd59e63c50edaf0823b1d03ebf7fc259719b29a4f
added version information
helm/uwobo/uwobo_common.ml
helm/uwobo/uwobo_common.mli