Commit a31a57d1 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-03-27 22:44:57 by beppe] Modification to match pdf version

Original author: beppe
Date: 2005-03-27 22:44:57+00:00
parent bc69683d
......@@ -18,13 +18,13 @@ Here you can find the online documentation
<box title="Online documentation" link="src">
<p>
We mantain three kinds of on-line documentation: a <a
We maintain three kinds of on-line documentation: a <a
href="manual.html">User's guide</a> where all CDuce constructions are
grouped by categories and explained; a <a href="tutorial.html">Tutorial</a>
where we give a gentle introduction to programming in CDuce; and a
<a href="memento.html">Quick reference card</a> where we group and briefly explain in a single page CDuce syntax.
</p>
<p>A PDF version of the User guide is regulary regenaterated from the site and is available <a href="papers/manual.pdf">here</a>. This version is generated by a CDuce program available in the CVS (doc/fomanual). For un up-to-date version consult the on-line version</p>
<p>A PDF version of the User guide is regularly regenerated from the site and is available <a href="papers/manual.pdf">here</a>. This version is generated by a CDuce program available in the CVS (doc/fomanual). For an up-to-date version consult the on-line version</p>
<p>
For more technical and theoretical information you can consult the technical paper available <a href="papers.html">here</a>.
</p>
......
......@@ -61,6 +61,12 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
<box title="Latest News" link="news">
<section title="2005, March 27th, Easter: PDF user manual">
<p>
A PDF version of the User manual is available. See the <local href="documentation"/>.
</p>
</section>
<section title="2005, March 22th, Wednesday: CDuce 0.3.2">
<p>
See the <local href="download"/>
......@@ -437,6 +443,7 @@ title="Xhaskell"> The XHaskell language. </link>
src="img/inria.gif"
alt="INRIA" title="INRIA"/>
</a>
<script type="text/javascript" src="http://codice.shinystat.it/cgi-bin/getcod.cgi?USER=cducer"></script>
</p>
</meta>
......@@ -506,7 +513,10 @@ reference to CDuce.
<br/>
<img src="img/cducepower2.jpg" alt="Powered by CDuce"/>
</p>
</box>
</page>
</page>
......@@ -128,6 +128,8 @@ The canonical translation is summarized in the following box:
<table border="1" style="align:middle">
<col/>
<col/>
<tr>
<th>OCaml type <tt><i>t</i></tt></th>
<th>CDuce type <tt>T(<i>t</i>)</tt></th>
......
......@@ -186,6 +186,8 @@ let is_valid_mail (Any -> Bool)
Schema constraints. The table below lists the most significant mappings.
</p>
<table border="1">
<col/>
<col/>
<tr>
<th><b>XML Schema predefined simple type</b></th>
<th><b>CDuce type</b></th>
......
......@@ -65,7 +65,7 @@ type InlineText =
| <code>String
| <local href=String>String
| <footnote nocount=?"true">[InlineText*]
| H.a | H.img | H.br
| H.a | H.img | H.br |H.script
| <thumbnail href=String width=?IntStr height=?IntStr>[]
| <thumbnails href=String width=?IntStr height=?IntStr>[ PCDATA ]
......
......@@ -97,7 +97,7 @@ Ok.
</box>
<box title="Empty types" link="pr">
<box title="Empty types" link="emptyty">
<p>
CDuce's type system can find very nasty errors. For instance look at this DTD declaration
</p>
......
......@@ -10,7 +10,7 @@ test it on the <a href="http://reglisse.ens.fr/cgi-bin/cduce">online interpreter
</p>
</left>
<box title="Tree navigation" link="intro">
<box title="Tree navigation" link="treenav">
<section title="XPath expressions">
<p>Write a function that implements <code>//t</code> without
......@@ -62,7 +62,7 @@ sortAlg (fact 200) =
</box>
<box title="Solutions" link="intro">
<box title="Solutions" link="solution">
<section title="Tree navigation">
<sample><![CDATA[
......
......@@ -124,7 +124,7 @@ as well
href="manual_expressions.html#bnote1">this paragraph</a> of the User's manual).
</box>
<box title="XML documents" link="xml">
<box title="XML documents" link="xmldoc">
<p>
CDuce uses its own notation to denote XML documents. In the next table we
present an XML document on the left and the same document in CDuce notation on
......
......@@ -12,7 +12,7 @@ test it on the <a href="http://reglisse.ens.fr/cgi-bin/cduce">online interpreter
</p>
</left>
<box title="Key concepts" link="p1">
<box title="Key concepts" link="key">
<b style="color:#FF0080">TO BE DONE</b>
......@@ -229,7 +229,7 @@ variable a default value.
<box title="Recursive patterns" link="pr">
<box title="Recursive patterns" link="recpat">
<p>
Recursive patterns use the same syntax as recursive types:
<code>%%P%% where %%P1%%=%%p1%% and ... and %%Pn%%=%%pn%%</code> with <i>P, P1,..., Pn</i>
......
......@@ -6,7 +6,7 @@
<boxes-toc/>
<p>
You can cut and paste the code on this page and
test it on the <a href="cgi-bin/cduce">incline interpreter</a>.
test it on the <a href="cgi-bin/cduce">online interpreter</a>.
</p>
</left>
......@@ -455,7 +455,7 @@ let bg ((Int , Int) -> String)
<p>
The result is the xhtml code that generates the following table:
</p>
<table border="1"><tr><td align="right" style="background:white">1</td><td align="right" style="background:lightblue">2</td><td align="right" style="background:white">3</td><td align="right" style="background:lightblue">4</td><td align="right" style="background:white">5</td><td align="right" style="background:lightblue">6</td><td align="right" style="background:white">7</td><td align="right" style="background:lightblue">8</td><td align="right" style="background:white">9</td><td align="right" style="background:lightblue">10</td></tr><tr><td align="right" style="background:yellow">2</td><td align="right" style="background:lightgreen">4</td><td align="right" style="background:yellow">6</td><td align="right" style="background:lightgreen">8</td><td align="right" style="background:yellow">10</td><td align="right" style="background:lightgreen">12</td><td align="right" style="background:yellow">14</td><td align="right" style="background:lightgreen">16</td><td align="right" style="background:yellow">18</td><td align="right" style="background:lightgreen">20</td></tr><tr><td align="right" style="background:white">3</td><td align="right" style="background:lightblue">6</td><td align="right" style="background:white">9</td><td align="right" style="background:lightblue">12</td><td align="right" style="background:white">15</td><td align="right" style="background:lightblue">18</td><td align="right" style="background:white">21</td><td align="right" style="background:lightblue">24</td><td align="right" style="background:white">27</td><td align="right" style="background:lightblue">30</td></tr><tr><td align="right" style="background:yellow">4</td><td align="right" style="background:lightgreen">8</td><td align="right" style="background:yellow">12</td><td align="right" style="background:lightgreen">16</td><td align="right" style="background:yellow">20</td><td align="right" style="background:lightgreen">24</td><td align="right" style="background:yellow">28</td><td align="right" style="background:lightgreen">32</td><td align="right" style="background:yellow">36</td><td align="right" style="background:lightgreen">40</td></tr><tr><td align="right" style="background:white">5</td><td align="right" style="background:lightblue">10</td><td align="right" style="background:white">15</td><td align="right" style="background:lightblue">20</td><td align="right" style="background:white">25</td><td align="right" style="background:lightblue">30</td><td align="right" style="background:white">35</td><td align="right" style="background:lightblue">40</td><td align="right" style="background:white">45</td><td align="right" style="background:lightblue">50</td></tr><tr><td align="right" style="background:yellow">6</td><td align="right" style="background:lightgreen">12</td><td align="right" style="background:yellow">18</td><td align="right" style="background:lightgreen">24</td><td align="right" style="background:yellow">30</td><td align="right" style="background:lightgreen">36</td><td align="right" style="background:yellow">42</td><td align="right" style="background:lightgreen">48</td><td align="right" style="background:yellow">54</td><td align="right" style="background:lightgreen">60</td></tr><tr><td align="right" style="background:white">7</td><td align="right" style="background:lightblue">14</td><td align="right" style="background:white">21</td><td align="right" style="background:lightblue">28</td><td align="right" style="background:white">35</td><td align="right" style="background:lightblue">42</td><td align="right" style="background:white">49</td><td align="right" style="background:lightblue">56</td><td align="right" style="background:white">63</td><td align="right" style="background:lightblue">70</td></tr><tr><td align="right" style="background:yellow">8</td><td align="right" style="background:lightgreen">16</td><td align="right" style="background:yellow">24</td><td align="right" style="background:lightgreen">32</td><td align="right" style="background:yellow">40</td><td align="right" style="background:lightgreen">48</td><td align="right" style="background:yellow">56</td><td align="right" style="background:lightgreen">64</td><td align="right" style="background:yellow">72</td><td align="right" style="background:lightgreen">80</td></tr><tr><td align="right" style="background:white">9</td><td align="right" style="background:lightblue">18</td><td align="right" style="background:white">27</td><td align="right" style="background:lightblue">36</td><td align="right" style="background:white">45</td><td align="right" style="background:lightblue">54</td><td align="right" style="background:white">63</td><td align="right" style="background:lightblue">72</td><td align="right" style="background:white">81</td><td align="right" style="background:lightblue">90</td></tr><tr><td align="right" style="background:yellow">10</td><td align="right" style="background:lightgreen">20</td><td align="right" style="background:yellow">30</td><td align="right" style="background:lightgreen">40</td><td align="right" style="background:yellow">50</td><td align="right" style="background:lightgreen">60</td><td align="right" style="background:yellow">70</td><td align="right" style="background:lightgreen">80</td><td align="right" style="background:yellow">90</td><td align="right" style="background:lightgreen">100</td></tr></table>
<table border="1"><col/><col/><col/><col/><col/><col/><col/><col/><col/><col/><tr><td align="right" style="background:white">1</td><td align="right" style="background:lightblue">2</td><td align="right" style="background:white">3</td><td align="right" style="background:lightblue">4</td><td align="right" style="background:white">5</td><td align="right" style="background:lightblue">6</td><td align="right" style="background:white">7</td><td align="right" style="background:lightblue">8</td><td align="right" style="background:white">9</td><td align="right" style="background:lightblue">10</td></tr><tr><td align="right" style="background:yellow">2</td><td align="right" style="background:lightgreen">4</td><td align="right" style="background:yellow">6</td><td align="right" style="background:lightgreen">8</td><td align="right" style="background:yellow">10</td><td align="right" style="background:lightgreen">12</td><td align="right" style="background:yellow">14</td><td align="right" style="background:lightgreen">16</td><td align="right" style="background:yellow">18</td><td align="right" style="background:lightgreen">20</td></tr><tr><td align="right" style="background:white">3</td><td align="right" style="background:lightblue">6</td><td align="right" style="background:white">9</td><td align="right" style="background:lightblue">12</td><td align="right" style="background:white">15</td><td align="right" style="background:lightblue">18</td><td align="right" style="background:white">21</td><td align="right" style="background:lightblue">24</td><td align="right" style="background:white">27</td><td align="right" style="background:lightblue">30</td></tr><tr><td align="right" style="background:yellow">4</td><td align="right" style="background:lightgreen">8</td><td align="right" style="background:yellow">12</td><td align="right" style="background:lightgreen">16</td><td align="right" style="background:yellow">20</td><td align="right" style="background:lightgreen">24</td><td align="right" style="background:yellow">28</td><td align="right" style="background:lightgreen">32</td><td align="right" style="background:yellow">36</td><td align="right" style="background:lightgreen">40</td></tr><tr><td align="right" style="background:white">5</td><td align="right" style="background:lightblue">10</td><td align="right" style="background:white">15</td><td align="right" style="background:lightblue">20</td><td align="right" style="background:white">25</td><td align="right" style="background:lightblue">30</td><td align="right" style="background:white">35</td><td align="right" style="background:lightblue">40</td><td align="right" style="background:white">45</td><td align="right" style="background:lightblue">50</td></tr><tr><td align="right" style="background:yellow">6</td><td align="right" style="background:lightgreen">12</td><td align="right" style="background:yellow">18</td><td align="right" style="background:lightgreen">24</td><td align="right" style="background:yellow">30</td><td align="right" style="background:lightgreen">36</td><td align="right" style="background:yellow">42</td><td align="right" style="background:lightgreen">48</td><td align="right" style="background:yellow">54</td><td align="right" style="background:lightgreen">60</td></tr><tr><td align="right" style="background:white">7</td><td align="right" style="background:lightblue">14</td><td align="right" style="background:white">21</td><td align="right" style="background:lightblue">28</td><td align="right" style="background:white">35</td><td align="right" style="background:lightblue">42</td><td align="right" style="background:white">49</td><td align="right" style="background:lightblue">56</td><td align="right" style="background:white">63</td><td align="right" style="background:lightblue">70</td></tr><tr><td align="right" style="background:yellow">8</td><td align="right" style="background:lightgreen">16</td><td align="right" style="background:yellow">24</td><td align="right" style="background:lightgreen">32</td><td align="right" style="background:yellow">40</td><td align="right" style="background:lightgreen">48</td><td align="right" style="background:yellow">56</td><td align="right" style="background:lightgreen">64</td><td align="right" style="background:yellow">72</td><td align="right" style="background:lightgreen">80</td></tr><tr><td align="right" style="background:white">9</td><td align="right" style="background:lightblue">18</td><td align="right" style="background:white">27</td><td align="right" style="background:lightblue">36</td><td align="right" style="background:white">45</td><td align="right" style="background:lightblue">54</td><td align="right" style="background:white">63</td><td align="right" style="background:lightblue">72</td><td align="right" style="background:white">81</td><td align="right" style="background:lightblue">90</td></tr><tr><td align="right" style="background:yellow">10</td><td align="right" style="background:lightgreen">20</td><td align="right" style="background:yellow">30</td><td align="right" style="background:lightgreen">40</td><td align="right" style="background:yellow">50</td><td align="right" style="background:lightgreen">60</td><td align="right" style="background:yellow">70</td><td align="right" style="background:lightgreen">80</td><td align="right" style="background:yellow">90</td><td align="right" style="background:lightgreen">100</td></tr></table>
</section>
</box>
......
......@@ -9,7 +9,7 @@ You can cut and paste the code on this page and
test it on the <a href="http://reglisse.ens.fr/cgi-bin/cduce">online interpreter</a>.
</p>
</left>
<box title="Introduction" link="xpath">
<box title="Introduction" link="introduction">
<b style="color:#FF0080">TO BE DONE (for the moment please consult the user manual)</b>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment