X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FcicNotationPres.mli;h=6a25e56724723baea4849d47e771d12bc2fe7518;hb=2dd6e8f11fa3ac2995f326ecb742d9b4e8948fce;hp=1d06d19baccbeeace181a2a761bbef4f5a3298e5;hpb=d7e217ef4d310903c23dd56a5943208edfeb9f20;p=helm.git

diff --git a/helm/software/components/content_pres/cicNotationPres.mli b/helm/software/components/content_pres/cicNotationPres.mli
index 1d06d19ba..6a25e5672 100644
--- a/helm/software/components/content_pres/cicNotationPres.mli
+++ b/helm/software/components/content_pres/cicNotationPres.mli
@@ -35,11 +35,14 @@ val box_of_mpres: mathml_markup -> boxml_markup
 
 (** {2 Rendering} *)
 
+val lookup_uri: (Cic.id,UriManager.uri) Hashtbl.t -> Cic.id -> string option
+
 (** level 1 -> level 0
  * @param ids_to_uris mapping id -> uri for hyperlinking
  * @param prec precedence level *)
 val render:
- (Cic.id, UriManager.uri) Hashtbl.t -> ?prec:int -> CicNotationPt.term -> markup
+ lookup_uri:(Cic.id -> string option) -> ?prec:int -> CicNotationPt.term ->
+  markup
 
 (** level 0 -> xml stream *)
 val print_xml: markup -> Xml.token Stream.t