]> matita.cs.unibo.it Git - helm.git/blob - helm/header/getheader.xml
uses auto_tac_new instead of auto_tac
[helm.git] / helm / header / getheader.xml
1 <?xml version="1.0"?>
2 <?cocoon-process type="xsp"?>
3 <?cocoon-process type="xslt"?>
4
5 <?xml-stylesheet href="setheader.xsl" type="text/xsl"?>
6 <xsp:page language="java" xmlns:xsp="http://www.apache.org/1999/XSP/Core">
7     <hroot>
8      <xsp:logic>
9       String baseURL = request.getParameter("baseurl");
10       String styleURL1 = request.getParameter("stylesheet1");
11       String styleURL2 = request.getParameter("stylesheet2");
12       String xmlURI = request.getParameter("xmluri");
13       String annURI = request.getParameter("annuri");
14      </xsp:logic>
15      <url><xsp:expr>baseURL</xsp:expr></url>
16      <style1><xsp:expr>styleURL1</xsp:expr></style1>
17      <style2><xsp:expr>styleURL2</xsp:expr></style2>
18      <xml><xsp:expr>xmlURI</xsp:expr></xml>
19      <ann><xsp:expr>annURI</xsp:expr></ann>
20     </hroot>
21 </xsp:page>