]> matita.cs.unibo.it Git - helm.git/commitdiff
Added search.xsl (S).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Jun 2004 14:08:40 +0000 (14:08 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Jun 2004 14:08:40 +0000 (14:08 +0000)
helm/uwobo-panel/control.html

index bdb6be8f21f76cf3d9ba19e22ad20127086a1463..d47e6f749d98a8a82a754389fcc530d38338486a 100644 (file)
@@ -427,6 +427,7 @@ the getter is used by default (you can deselect it, however):
        <option value="L2T,ls2theory.xsl,true">Getter LS ==&gt; Theory</option>
         <option value="GP,getParam.xsl,true">Get Param</option>
         <option value="RT,resolve_topurl.xsl,true">Logic-sheet to substitute the interface URL</option>
+        <option value="S,search.xsl,true">Call the search engine</option>
         <option value="MC,metadataControl.xsl,true">Stylesheet to create links to metadata</option>
         <option value="MGL,makeGraphLinks.xsl,true">Add hyperlink menus to graphs</option>
         <option value="MMG,mk_meta_graph.xsl,true">Make graph of backward dependencies</option>