]> matita.cs.unibo.it Git - helm.git/commit
added support for external configuration of describe_hint_callback
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 7 Sep 2003 09:50:09 +0000 (09:50 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 7 Sep 2003 09:50:09 +0000 (09:50 +0000)
commit6bfd11a764024577d1a427d9b6e3074d66ff09fa
treeec03edf6db580613c7fb9b58bd419f5775f20246
parent9327428bfb03330a8baf382fea019f320e5cc462
added support for external configuration of describe_hint_callback
helm/gTopLevel/hbugs.ml
helm/gTopLevel/hbugs.mli