- <option value="L2H,http://phd.cs.unibo.it/helm/xslt/ls2html.xsl,false">Getter LS ==> HTML</option>
- <option value="GP,http://phd.cs.unibo.it/helm/xslt/getParam.xsl,false">Get Param</option>
- <option value="RT,http://phd.cs.unibo.it/helm/xslt/resolve_topurl.xsl,false">Logic-sheet to substitute the interface URL</option>
- <option value="DM,http://phd.cs.unibo.it/helm/xslt/demultiplexMutual.xsl,false">Stylesheet to create the link to the metadata for inductive types</option>
- <option value="MC,http://phd.cs.unibo.it/helm/xslt/metadataControl.xsl,false">Stylesheet to create the link to the metadata for constants and variables</option>
- <option value="MGL,http://phd.cs.unibo.it/helm/xslt/makeGraphLinks.xsl,false">Add hyperlink menus to graphs</option>
+ <option value="L2H,ls2html.xsl,true">Getter LS ==> HTML</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="MC,metadataControl.xsl,true">Stylesheet to create links to metadata</option>
+ <option value="MGL,makeGraphLinks.xsl,true">Add hyperlink menus to graphs</option>