]> matita.cs.unibo.it Git - helm.git/commit
- moved here support_properties stuff
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 2 Dec 2002 15:25:38 +0000 (15:25 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 2 Dec 2002 15:25:38 +0000 (15:25 +0000)
commit6391c90788217fbdd9c8e109b515c7a678a63bfd
tree0321f6505b5a2b8649f9ea7bd25517891ca0150c
parentf88c96d9704ad928ec985b1394f8429621d06bd8
- moved here support_properties stuff
helm/uwobo/src/ocaml/uwobo_common.ml
helm/uwobo/src/ocaml/uwobo_common.mli