]> matita.cs.unibo.it Git - helm.git/commit
- added support for boolean parameters
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 24 Feb 2004 13:15:48 +0000 (13:15 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 24 Feb 2004 13:15:48 +0000 (13:15 +0000)
commit27ebca99c83f84c5a3915695e3f78b36c4fbcedf
treee3411a4e035d7e4663b49f2315deed28f26ac840
parent27b33baeed158a7e3247bef2394217eb376931be
- added support for boolean parameters
- added support for optional parameters
helm/ocaml/registry/helm_registry.ml
helm/ocaml/registry/helm_registry.mli