]> matita.cs.unibo.it Git - helm.git/commit
added extra "id" parameter for input_or_locate_uri callback
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 Apr 2004 15:04:11 +0000 (15:04 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 Apr 2004 15:04:11 +0000 (15:04 +0000)
commit78a92e3cc2deb60d306da93d9dcf987c1cb219ba
treefcfd275f287405ca500e91a6e319645f32bf7936
parenta96ac1d9b14c89392c5672fb94944363ced625b8
added extra "id" parameter for input_or_locate_uri callback
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/oldDisambiguate.ml
helm/gTopLevel/oldDisambiguate.mli
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_disambiguation/disambiguateTypes.ml
helm/ocaml/cic_disambiguation/disambiguateTypes.mli