[cduce-devel] preliminary XML Schema documentation

Giuseppe Castagna Giuseppe.Castagna at ens.fr
Thu Nov 20 14:01:02 CET 2003

I corrected a bug in tools/validate.ml (you forgot the "validation
context in line 82)


On Thu, 2003-11-20 at 12:29, Stefano Zacchiroli wrote:
> I've committed a preliminary XML Schema documentation to the CVS. Mainly
> it consists of a new XML Schema chapter in the user manual and some
> changes to the interpreter chapter regarding some new directives
> (#print_schema, #print_type and patch for #env) I've added.
> Feedback is appreciated.
> I haven't yet rebuilt the website because my actual network connection
> is terribly slow ...
> Cheers.

More information about the Cduce-devel mailing list