MatitaGui.interactive_uri_choice ~selection_mode:`SINGLE
~title:"Matita: URI chooser"
~msg:"Select the URI" ~hide_uri_entry:true
MatitaGui.interactive_uri_choice ~selection_mode:`SINGLE
~title:"Matita: URI chooser"
~msg:"Select the URI" ~hide_uri_entry:true