/[svn]/website/trunk/web/index.xml
ViewVC logotype

Diff of /website/trunk/web/index.xml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3957 by abate, Tue Nov 20 13:57:40 2007 UTC revision 3958 by abate, Wed Jan 30 10:52:43 2008 UTC
# Line 37  Line 37 
37    
38  <box title="Latest News" link="news">  <box title="Latest News" link="news">
39    
40    <p><b>2008, Jan 30th: CDuce 0.5.1 is out!</b><br/>
41    See the <local href="download"/>
42    page for download information, or the <a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/*checkout*/cduce/trunk/CHANGES">CHANGES</a>
43    file to know what's new.
44    </p>
45    
46  <p><b>2007, Jun 12th: CDuce 0.5.0 is out!</b><br/>  <p><b>2007, Jun 12th: CDuce 0.5.0 is out!</b><br/>
47  See the <local href="download"/>  See the <local href="download"/>
48  page for download information, or the <a href="CHANGES">CHANGES</a>  page for download information, or the <a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/*checkout*/cduce/trunk/CHANGES">CHANGES</a>
49  file to know what's new.  file to know what's new.
50  </p>  </p>
51  <p>  <p>
# Line 48  Line 54 
54    
55  <p><b>2007, May 23rd: CDuce 0.4.2 is out!</b><br/>  <p><b>2007, May 23rd: CDuce 0.4.2 is out!</b><br/>
56  See the <local href="download"/>  See the <local href="download"/>
57  page for download information, or the <a href="CHANGES">CHANGES</a>  page for download information, or the <a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/*checkout*/cduce/trunk/CHANGES">CHANGES</a>
58  file to know what's new.  file to know what's new.
59  </p>  </p>
60  <p>  <p>
# Line 73  Line 79 
79  with minimal effort.  with minimal effort.
80  </p>  </p>
81    
   
 <!--  
   
   
 <p><b>2006, Oct 2nd: CDuce 0.4.1 is out!</b><br/>  
 See the <local href="download"/>  
 page for download information, or the <a href="CHANGES">CHANGES</a>  
 file to know what's new.  
 </p>  
 <p>  
 GODI users can simply update their <tt>apps-cduce</tt> package.  
 </p>  
   
 <section title="2006, May 4th, Tuesday: RPM packages available">  
 <p>  
 An RPM package for cduce is available in the <local href="download"/>  
 page. It was tested on Fedora Core 4 and 5.  
 </p>  
 </section>  
   
   
   
 <section title="2006, Apr 5th, Tuesday: Embed CDuce in XML,  à la PHP">  
 <p>  
 The first alpha version of <code>xml2cd</code> is available at <a  
 href="http://reglisse.ens.fr/ecduce/Download.html">this page</a>. It allows  
 embedding CDuce expressions into XML files (and vice-versa) à la php. It  
 supports namespaces, automatic dtd downloading etc... . Have a look to the  
 <a  
 href="http://reglisse.ens.fr/ecduce/Getting_to_know_xml2cd.html">Hello World!</a> example  
 </p>  
 </section>  
   
   
   
   
 <section title="2005, Oct 30th, Sunday: CDuce 0.4.0 is out!">  
 <p>  
 See the <local href="download"/>  
 page for download information, or the <a href="CHANGES">CHANGES</a>  
 file to know what's new.  
 </p>  
 <p>  
 GODI users can simply select the <tt>apps-cduce</tt> package.  
 </p>  
 </section>  
   
 <section title="2005, May 27th, Friday: Two presentations on some aspects of  CDuce">  
 <p>  
   Those who will spend their summer 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>  
   Thanks to Thomas Petazzoni and Stefano Zacchiroli, CDuce 0.3.2 is  
   now packaged and available in Debian testing. Just do  
   <tt>apt-get install cduce</tt>.  
 </p>  
 </section>  
   
 <section title="2005, April 12th, Tuesday: GODI package for the  
 OCaml+CDuce extension">  
 <p>  
 A preliminary release of an extension of OCaml with CDuce types  
 has been announced a few days ago on the cduce users mailing list.  
 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"/>.  
 </p>  
 </section>  
   
 <section title="2005, March 22th, Wednesday: CDuce 0.3.2">  
 <p>  
 See the <local href="download"/>  
 page for download information, or the <a href="CHANGES">CHANGES</a>  
 file to know what's new.  
 </p>  
 <p>  
 GODI users can simply select the <tt>apps-cduce</tt> package.  
 Another option is to use the  
 <tt>apps-cduce-cvs</tt> package to follow the development tree.  
 </p>  
 </section>  
   
 <section title="2005, March 9th, Wednesday: CDuce 0.3.0">  
 <p>  
 See the <local href="download"/>  
 page for download information, or the <a href="CHANGES">CHANGES</a>  
 file to know what's new.  
 </p>  
 <p>  
 GODI users can simply select the <tt>apps-cduce</tt> package to  
 install CDuce 0.3.0. Another option is to use the  
 <tt>apps-cduce-cvs</tt> package to follow the development tree.  
 </p>  
 </section>  
   
 <section title="2005, January 14th, Friday: CDuce 0.2.2">  
 <p>  
 See the <local href="download"/>  
 page for download information, or the <a href="CHANGES">CHANGES</a>  
 file to know what's new.  
 </p>  
 <p>  
 GODI users can simply select the <tt>apps-cduce</tt> package to  
 install CDuce 0.2.2. Another option is to use the  
 <tt>apps-cduce-cvs</tt> package to follow the development tree.  
 </p>  
 </section>  
   
 <section title="2004, September 13th, Monday: CDuce 0.2.1">  
 <p>  
 We added a string:// scheme for load_xml and load_html and load_file (it makes  
 the load function parse the string that follows the scheme) and the  
 the code was updated to OCaml 3.08.1, PXP 1.1.95.  
 </p>  
 </section>  
 <section title="2004, July 5th, Monday: CDuce 0.2.0 is out !">  
 <p>  
 The long-awaited CDuce 0.2.0 is out. See the <local href="download"/>  
 page for download information, or the <a href="CHANGES">CHANGES</a>  
 file to know what's new.  
 </p>  
 <p>  
 GODI users can simply select the <tt>apps-cduce</tt> package to  
 install CDuce 0.2.0.  
 </p>  
 <p>  
 Enjoy !  
 </p>  
 </section>  
   
 <section title="2003, December 8th, Monday: New addition to papers.">  
 <p>  
 A paper on the optimized implementation of pattern matching  
 in CDuce is now available online in the <a href="papers.html">papers page</a>:  
 <i>"Regular tree language recognition with static information"</i>.  
 Another paper, <i>"Greedy regular expression matching"</i>  
 is a preliminary step in an alternative implementation technique  
 (non-uniform representation of values). The two papers will be  
 presented in the PLAN-X 2004 workshop in January (Venice).  
 </p>  
 <br/>  
 </section>  
   
 <section title="2003, October 26th, Sunday: New addition to papers.">  
 <p>  
 If you want a simple and basic introduction to the theoretical foundations  
 of CDuce, there is a new entry in the <a href="papers.html">papers page</a>: <i>"A Gentle  
 Introduction to Semantic Subtyping"</i>.  
 </p>  
 <br/>  
 </section>  
   
 <section title="2003, October 17th, Friday: CVS publicly available.">  
 <p>  
 You can now download the development version directly from the cvs tree. See instructions at the <a href="download.html">usual place</a>. Be careful, it may not work, and many features are experimental and undocumented.  
 </p>  
 <br/>  
 </section>  
   
   
 <section title="2003, September 23rd, Wednesday: Volunteers sought.">  
 <p>  
 We look for volunteers to prepare an emacs mode for CDuce and to implement  a native Win32 or MinGW port. If your are interested please contact  
 us.  
 </p>  
 <br/>  
 </section>  
   
   
 <section title="2003, August 16th, Saturday: Version 0.1.1 released.">  
 <p>  
 This version has several bug-fixes and encodes reference types. You can now use  
 <code>:=</code> and <code>;</code>. It is available at the <a href="download.html">usual place</a>. Try this  
 <a href="http://www.cduce.org/cgi-bin/cduce?example=reference">code</a> on  
 the on-line demo for an example on how to use them, and refer to the  
 <a href="manual_expressions.html#ref">manual pages</a> for more  
 information.  
 </p>  
 <br/>  
 </section>  
 -->  
82  </box>  </box>
83    
84  <box title="What is CDuce ?" link="whatis">  <box title="What is CDuce ?" link="whatis">
# Line 367  Line 174 
174    
175  </box>  </box>
176    
 <!--  
 <page name="links" new="">  
 <title>Links</title>  
   
 <box title="About XML" link="xml">  
 <link url="http://www.w3.org/XML/"  
 title="Extensible Markup Language (XML)"> The W3C page on XML. </link>  
 <link url="http://www.research.avayalabs.com/user/wadler/xml/"  
 title="XML: Some hyperlinks minus the hype"> By Philip Wadler. </link>  
 </box>  
   
 <box title="Related languages" link="lang">  
 <link url="http://xduce.sourceforge.net/"  
 title="XDuce"> XDuce home page. </link>  
 <link url="http://www.cis.upenn.edu/~bcpierce/xtatic/"  
 title="Xtatic"> The Xtatic Project. </link>  
 <link url="http://www.comp.nus.edu.sg/~luzm/xhaskell/"  
 title="Xhaskell"> The XHaskell language. </link>  
 </box>  
 </page>  
 -->  
   
177  <meta>  <meta>
178  <p>  <p>
179  <a href="comeon.htm">  <a href="comeon.htm">

Legend:
Removed from v.3957  
changed lines
  Added in v.3958

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5