[r2005-06-15 13:22:33 by afrisch] Empty log message

Original author: afrisch
Date: 2005-06-15 13:22:33+00:00

web/appli.xml

+<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
+<page name="appli">
+
+<title>Applications using CDuce</title>
+
+<left>
+<local-links href="index,documentation"/>
+</left>
+
+<box>
+
+<p>
+This page collects some examples of applications that use CDuce.
+</p>
+
+<section title="CDuce to build web sites">
+
+<ul>
+<li>The <a href="http://www.cduce.org/">CDuce</a> site itself.</li>
+<li><a href="http://www.random-art.org/">Random Art</a>.</li>
+<li><a href="http://www.larouedesecours.com/">La route de
+secours</a>.</li>
+<li><a href="http://www.editionsvalroc.com/">ditions Valroc</a>.</li>
+</ul>
+
+</section>
+
+<section title="CDuce used in scientific research projects">
+
+<p>
+Several research papers mention the use of CDuce.
+</p>
+
+<ul>
+<li><a href="http://staff.science.uva.nl/~sfissaha/">Extracting
+Temporal Information from Open Domain Text: A Comparative
+Exploration</a>.</li>
+<li><a href="http://www.irit.fr/recherches/TYPES/SVF/strecker/Publications/fesca05.html">Towards formalising AADL in Proof Assistants</a>.</li>
+</ul>
+
+</section>
+
+
+<section title="CDuce used in software projects or libraries">
+
+<ul>
+<li><a href="http://www.demexp.org">The Demexp project</a>.</li>
+<li><a
+href="http://caml.inria.fr/pub/ml-archives/caml-list/2005/06/de1ec925a81313be4cf7d4d6432d6154.en.html">OC-soap</a>.</li>
+</ul>
+
+</section>
+
+<section title="CDuce used to create personal home pages">
+
+<ul>
+<li><a href="http://www.lri.fr/~benzaken/">Vronique Benzaken</a>.</li>
+<li><a href="http://www.eleves.ens.fr/home/frisch">Alain Frisch</a>.</li>
+<li><a href="http://www.lri.fr/~miachon/index.html">Cedric
+Miachon</a>.</li>
+<li><a href="http://www.ipl.t.u-tokyo.ac.jp/~scm/">Shin-Cheng Mu</a>.</li>
+</ul>
+
+</section>
+
+<section title="CDuce used for teaching">
+
+<ul>
+<li>The <a href="http://ctp.di.fct.unl.pt/lei/ltpa/">
+Linguagens e Tcnicas de Programao Avanadas</a> course at Universidade Nova de Lisboa.</li>
+</ul>
+
+</section>
+
+</box>
+
+
+</page>
\ No newline at end of file

web/download.xml

@@ -78,18 +78,6 @@ Version 0.4, for OCaml <= 3.07.
 <link url="http://www.cduce.org/download/ulex-0.7.tar.gz" title="Download">
 Version 0.7, for OCaml 3.08, 3.09.
 </link>
-<p>
-In addition to CDuce, <code>ulex</code> is also used in other
-projects (please let me know if you know others):
-</p>
-<ul>
-<li>
-<a href="http://mattam.ath.cx/progs/yaxi.html">Yaxi</a> (XML,XPath,XSLT library for OCaml); includes lexers for XML and XPath.
-</li>
-<li>
-<a href="http://felix.sourceforge.net/">Felix</a> (programming language).
-</li>
-</ul>
 </section>
 </box>
 

web/index.xml

@@ -23,6 +23,7 @@ demo" name="proto"/>-->
 <include file="documentation.xml"/>
 <include file="mailing.xml"/>
 <include file="examples.xml"/>
+<include file="appli.xml"/>
 <!-- <include file="hacking.xml"/> -->
 <!-- Note: this is no longer relevant -->
 <include file="tips.xml"/>
@@ -36,8 +37,8 @@ demo" name="proto"/>-->
 <include file="sitemap.xml"/>
 
 <left>
-<p> All pages of this site were automatically generated from an XML description of
-the content by <a href="examples.html#site">the following CDuce program</a>.
+<p>This site is automatically generated
+by <a href="examples.html#site">a CDuce program</a>.
 </p><p><img src="img/cducepower.jpg" alt="Powered by CDuce"/></p>
 </left>
 
@@ -75,6 +76,7 @@ More information on the page <local href="ocaml"/>.
 </p>
 </section>
 
+<!--
 <section title="2005, March 27th, Easter: PDF user manual">
 <p>
 PDF versions of the User manual and of the Tutorial are now available. See the <local href="documentation"/>.
@@ -94,8 +96,6 @@ Another option is to use the
 </p>
 </section>
 
-<!--
-
 <section title="2005, March 9th, Wednesday: CDuce 0.3.0">
 <p>
 See the <local href="download"/>
@@ -199,69 +199,67 @@ information.
 
 <box title="What is CDuce ?" link="whatis">
 
-<p> <b>CDuce</b> is a new typed functional language with
-innovative features.</p>
+<p> <b>CDuce</b> is a modern XML-oriented functional language with 
+innovative features. A compiler is available under the terms of an open-source
+license. CDuce is type-safe, efficient, and offer powerful constructions
+to work with XML documents. </p>
+<ul>
+<li><local href="documentation">Online documentation</local>.</li>
+<li>Some <local href="examples">examples</local> of CDuce programs.</li>
+<li><local href="design_features"/>: background
+information about the design of CDuce.</li>
+<li><local href="appli"/>.</li>
+<li><local href="contrib"/>.</li>
+<li><local href="mailing"/>.</li>
+<li><local href="download">How to get CDuce</local>: download sources, Debian
+or GODI packages.</li>
+</ul>
+
+<section title="Trying CDuce online">
+<ul>
+<li><local href="proto">On-line prototype</local>:
+try the examples and play with them in your web browser.</li>
+<li>Interactive <local href="demo">demo page</local>
+(used for the demonstration at PLAN-X 2005), requires
+a Mozilla-derived browser.</li>
+</ul>
+</section>
 
-<p> Although CDuce is a general programming language, it features
-several characteristics that make it adapted to <a
-href="http://www.w3.org/XML/">XML</a> type-safe documents
-manipulation. The notion of XML types (usually expression in a DTD or
-an XML Schema) plays a central role in CDuce.
+<p>
+For more information, you can contact
+<a href="mailto:info@cduce.org">info@cduce.org</a>.
 </p>
 
+</box>
+
+<box title="CDuce: the research project" link="research">
+
 <p> The CDuce project is a spin-off of a research effort split
 amongst two <a href="http://www.cnrs.fr">CNRS</a> labs (the <a
 href="http://www.di.ens.fr/~castagna/EQUIPE"><b>Languages</b></a>
 group of ENS in Paris and the <a
 href="http://www.lri.fr/bd"><b>Databases</b></a> group of LRI in
 Orsay), and one <a href="http://www.inria.fr">INRIA</a> project (the
-<a href="http://cristal.inria.fr"><b>Cristal</b></a> project).  Please
-see the <local href="team">CDuce team</local> page for a list of
-researchers contributing to this research effort. Some <local
-href="papers">technical papers</local> present the theoretical
-foundations of the language.
-</p>
-
-<section title="Getting information">
-
-<p>
-The online <local href="documentation">documentation</local>
-contains a <local href="tutorial"/> and a <local href="manual"/>.
-You can also have a look at some <local
-href="examples">examples</local>
-of CDuce programs.
+<a href="http://cristal.inria.fr"><b>Cristal</b></a> project).
 </p>
+<ul>
+<li><local href="team"/>.</li>
+<li><local href="papers"/>.</li>
+<li><local href="funding"/>.</li>
+<li><local href="ocaml"/>: integrating
+CDuce features into <a href="http://caml.inria.fr">OCaml</a>.</li>
+</ul>
 
-<p>
-The page <local href="design_features"/> gives some background
-information about the design of CDuce and its connection
-to its ancestor XDuce.
-</p>
-
-<p>
-If you want more information about CDuce you can send a mail to 
-<a href="mailto:info@cduce.org">info@cduce.org</a> or
-to the most appropriate <a href="mailing.html">CDuce mailing list</a>.
-</p>
-
-</section>
-
-<section title="Trying CDuce online">
-<p> To get a feeling of CDuce without installing it on your computer,
-you can play with the <local href="proto">on-line prototype</local>,
-try the examples and modify them. </p>
-<p>There is also an interactive <local href="demo">demo page</local>
-(used for the demonstration at PLAN-X 2005), which requires
-a Mozilla-derived browser.</p>
-</section>
+</box>
 
-<section title="Download">
-<p>
-You can <local href="download">download</local> the latest official
-release of CDuce, or get a snapshot from the working CVS
-repository. There are also packages for Debian and GODI.
-</p>
-</section>
+<box title="Other pages" link="misc">
+<ul>
+<li><local href="img"/>.</li>
+<li><local href="soutenance"/>.</li>
+<li>An online tool to <local href="dtd2cduce">convert from DTD to
+CDuce types</local>.</li>
+<li><local href="bench"/>.</li>
+</ul>
 </box>
 
 <page name="design_features" new="">