demexp-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Demexp-dev] [Alain Frisch] [cduce-users] CDuce 0.3.0


From: David MENTRE
Subject: [Demexp-dev] [Alain Frisch] [cduce-users] CDuce 0.3.0
Date: Wed, 09 Mar 2005 19:04:26 +0100
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux)

Hello,

Here is the official announcement for CDuce 0.3.0.

Yours,
d.

--- Begin Message --- Subject: [cduce-users] CDuce 0.3.0 Date: Wed, 09 Mar 2005 18:33:11 +0100 User-agent: Mozilla Thunderbird 0.9 (X11/20041124)
Dear CDuce users,

CDuce 0.3.0 is out. Here is an overview of the most important changes.
For a more detailled list: http://www.cduce.org/CHANGES.

- A lot of work has been put to make the support for XML Schema more 
robust and complete. As an consequence, CDuce can now import complex 
schemas such as MathML, and various WS specifications.

- Many small issues with syntax have been addressed. This will break 
existing code, but transition should be easy. Some of the modications 
have already been discussed on this list. Let me know if you have 
difficulties to upgrade your code.

- Sequence and record concatenation in types (+ and @ operators).

- A new tool to build custom CDuce toplevels/interpreters with some 
embedded OCaml values. This makes it much easier to play with the 
OCaml/CDuce interface.

- Dropped the dependency on the PXP package (of course, you'd better 
have either PXP or expat to do anything useful with CDuce). As a 
consequence, the tool dtd2cduce is no longer built and installed by 
default. You can use on online version of the tool 
(http://www.cduce.org/dtd2cduce.html).


CDuce is now distributed with an MIT-like license. The package is 
available at the usual location (http://www.cduce.org/download.html) and 
GODI packages have already been upgraded.


Many thanks to those of you who submitted bug reports and suggestions.


Enjoy !

   Alain


--- End Message ---

-- 
pub  1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A

reply via email to

[Prev in Thread] Current Thread [Next in Thread]