/[svn]/website/trunk/web/index.xml
ViewVC logotype

Diff of /website/trunk/web/index.xml

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

revision 1635 by abate, Tue Jul 10 19:10:09 2007 UTC revision 1636 by abate, Tue Jul 10 19:10:23 2007 UTC
# Line 19  Line 19 
19  <external href="/cgi-bin/cduce" title="Online demo" name="proto"/>  <external href="/cgi-bin/cduce" title="Online demo" name="proto"/>
20  <include file="demo.xml"/>  <include file="demo.xml"/>
21  <include file="download.xml"/>  <include file="download.xml"/>
 <include file="bench.xml"/>  
22  <include file="papers.xml"/>  <include file="papers.xml"/>
 <include file="stages.xml"/>  
23  <include file="documentation.xml"/>  <include file="documentation.xml"/>
24    <include file="mailing.xml"/>
25  <include file="examples.xml"/>  <include file="examples.xml"/>
26  <!-- <include file="hacking.xml"/> -->  <!-- <include file="hacking.xml"/> -->
27  <!-- Note: this is no longer relevant -->  <!-- Note: this is no longer relevant -->
28  <include file="tips.xml"/>  <include file="tips.xml"/>
29    <include file="ocaml.xml"/>
30    <include file="stages.xml"/>
31    <include file="bench.xml"/>
32  <include file="contrib.xml"/>  <include file="contrib.xml"/>
 <include file="mailing.xml"/>  
33  <include file="team.xml"/>  <include file="team.xml"/>
34  <include file="funding.xml"/>  <include file="funding.xml"/>
35  <include file="dtd2cduce.xml"/>  <include file="dtd2cduce.xml"/>

Legend:
Removed from v.1635  
changed lines
  Added in v.1636

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5