[r2005-05-27 16:34:35 by beppe] Small updates

Original author: beppe
Date: 2005-05-27 16:34:35+00:00

CHANGES

+0.3.2+2
+   * Added split_atom, make_atom. Removed atom_of.
+
 0.3.2+1
    * Added char_of_int built_in function.
    * Now int_of also accepts octal binary and hexadecimals
-   * Added split_atom, make_atom. Removed atom_of.
+
 
 0.3.2
    * Bug fix in configure

web/demo.xml

@@ -3,7 +3,7 @@
   <!ENTITY leq     "&#x2264;"> <!-- LESS_THAN OR EQUAL TO -->
 ]>
 <page name="demo">
-<title>CDuce demo at PLANX 2005</title>
+<title>CDuce demo</title>
 
 <box title="CDuce: introduction, project status" link="intro">
 

web/index.xml

@@ -16,7 +16,7 @@
 
 <!--<external href="http://reglisse.ens.fr/cgi-bin/cduce" title="Online
 demo" name="proto"/>-->
-<external href="/cgi-bin/cduce" title="Online demo" name="proto"/>
+<external href="/cgi-bin/cduce" title="Online interpreter" name="proto"/>
 <include file="demo.xml"/>
 <include file="download.xml"/>
 <include file="papers.xml"/>
@@ -42,6 +42,21 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
 </left>
 
 <box title="Latest News" link="news">
+<section title="2005, May 27th, Friday: Two presentations on some aspects of  CDuce">
+<p>
+  For those who this summer will be in Lisbon or Trondheim may be interested in knowing that Giuseppe Castagna will give a couple of presentations on some aspects of CDuce. In particular:
+</p>
+<ul>
+<li>Wed the 13th of July I'll give a talk in Lisbon about the theoretical foundations of the type system of CDuce. See <a href="http://icalp05.di.fct.unl.pt/invited.html"> this page</a> for more information.</li>
+
+<li>
+Sun the 29th of August at 9.30 (date to be confirmed) I'll give a talk in Trondheim about the use of CDuce patterns and types for XML query languages. See <a href="http://research.microsoft.com/conferences/dbpl05/"> this page</a> for more info.</li>
+
+</ul>
+<p>
+You are welcome to peep in.
+</p>
+</section>
 
 <section title="2005, May 3rd, Tuesday: CDuce enters Debian testing">
 <p>