/[svn]/web/papers.xml
ViewVC logotype

Diff of /web/papers.xml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 336 by abate, Tue Jul 10 17:26:17 2007 UTC revision 341 by abate, Tue Jul 10 17:26:43 2007 UTC
# Line 1  Line 1 
1  <?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>  <?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
2  <page output="papers.php">  <page name="papers">
3    
4  <title>Papers and talks about CDuce</title>  <title>Papers and talks</title>
5  <banner>Papers and talks about CDuce</banner>  <banner>Papers and talks about CDuce</banner>
6    
7  <!-- ********* Left panel ********* -->  <left>
8  <navig>  <p>This page presents Papers and Talks about CDuce.</p>
9  <toc/>  <boxes-toc/>
10  <box>  <p>See also:</p>
11  <p>  <local-links href="index,proto"/>
12  This page presents Papers and Talks about CDuce.  </left>
 </p>  
   
 <ul>  
 <li><a href="/cgi-bin/cduce">Online demo</a></li>  
 <li><a href="/">Home page</a></li>  
 <li><a href="memento.php">CDuce memento</a></li>  
 </ul>  
 </box>  
 </navig>  
   
 <!-- ********* Main panel ********* -->  
   
 <main>  
13    
14  <box title="Papers" link="papers">  <box title="Papers" link="papers">
15  <section title="Language Description">  <section title="Language Description">
# Line 237  Line 224 
224  </ul>  </ul>
225  </box>  </box>
226    
 </main>  
227  </page>  </page>
Legend:
Removed from v.336  
changed lines
  Added in v.341
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5