Commit 936e6633 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-03-27 16:21:50 by beppe] modifications to match PDF version

Original author: beppe
Date: 2005-03-27 16:21:50+00:00
parent 949677b5
......@@ -73,7 +73,7 @@ capture variable.
<box title="Functions" link="fun">
<box title="Functions" link="fun_exp">
<section title="Abstraction">
......@@ -131,7 +131,7 @@ pattern is a variable
The reason why the blank spaces are mandatory with variables is that the XML
recommendation allows colons to occur in variables ("names" in XML terminology:
see section on <a href="namespaces.html">namespaces</a>), so the blanks disambiguate
see section on <local href="namespaces"/>), so the blanks disambiguate
the variables. Actually only the blank on the right hand side is necessary:
CDuce accepts <code>fun %%f%% (%%x1%% :%%t1%%, %%...%%, %%xn :tn%%):%%s%% =
%%e%%</code>, as well (see also <a
......@@ -216,7 +216,7 @@ fun (Any -> Int)
<box title="Sequences" link="seq">
<box title="Sequences" link="seq_exp">
The concatenation operator is written <code>@</code>. There
......@@ -321,7 +321,7 @@ to match ML-like named exceptions.
<box title="Record operators" link="record">
<box title="Record operators" link="record_exp">
There are three kinds of operators on records:
......@@ -466,7 +466,7 @@ of the mismatch is raised.
<box title="XML-specific constructions" link="xml">
<box title="XML-specific constructions" link="xml_exp">
<section title="Loading XML documents">
......@@ -19,7 +19,7 @@ cduce [OPTIONS ...] [--arg ARGUMENT ...]
The command operates as an interactive
toplevel. See the <a href="#toplevel">Toplevel</a> section below.
toplevel. See the <a href="#toplevl">Toplevel</a> section below.
......@@ -198,7 +198,7 @@ or as <code>%%unit%%.%%ident%%</code>.
<box title="Toplevel" link="toplevel">
<box title="Toplevel" link="toplevl">
If no CDuce file is given on the command line, the interpreter
......@@ -187,8 +187,8 @@ let is_valid_mail (Any -> Bool)
<table border="1">
<td><b>XML Schema predefined simple type</b></td>
<td><b>CDuce type</b></td>
<th><b>XML Schema predefined simple type</b></th>
<th><b>CDuce type</b></th>
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