Package cduce-devel

Development files for cduce

http://www.cduce.org/

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

General Commands (Section 1)
cduce
See the CDuce users' manual: http://www.cduce.org/manual_interpreter….
cduce_mktop
See the CDuce users' manual: http://www.cduce.org/manual_interfacewi….
dtd2cduce
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...