]> matita.cs.unibo.it Git - helm.git/commit
open Helm_registry per default
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 May 2004 17:16:56 +0000 (17:16 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 May 2004 17:16:56 +0000 (17:16 +0000)
commit107efb54d14f5ce245a96f02cf7d063cb4242534
tree2b63bbe74d3be43ef8e0879c31e759740cbeed98
parent80a7a8d3389af9590f54743c898b6d76a0b296f8
open Helm_registry per default
helm/ocaml/registry/.ocamlinit