| 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"/> |
Parent Directory
| 
Revision Log
| 
Patch