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.