Package cduce-devel

Development files for cduce

The cduce-devel package contains libraries and signature files for
developing applications that use cduce.

General Commands (Section 1)
See the CDuce users' manual:….
See the CDuce users' manual:….
The dtd2cduce reads the file file.dtd and outputs on the standard output a set of CDuce type declarations that translate the DTD. The prefix given in the...