[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

web/documentation.xml

@@ -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>

web/index.xml

@@ -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>

web/manual/interface.xml

@@ -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>

web/manual/schema.xml

@@ -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>

web/site.cd

@@ -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 ]
 

web/tutorial/errors.xml

@@ -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>

web/tutorial/exercises.xml

@@ -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[

web/tutorial/getting_started.xml

@@ -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

web/tutorial/patterns.xml

@@ -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>

web/tutorial/queries.xml

@@ -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>

web/tutorial/references.xml

@@ -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>