The DisCo Home Page
DisCo Animation
A general description of
the DisCo animation tool
. Note that this tool only supports the current version of the language.
The online user manual
of the current tool and a
PostScript
version of the manual.
A Java-based
demonstration
.
Give
feedback.