Documentation Utilities › Introduction › Overview of Documentation Aids › Design Documentation Utilities
The different components of the Toolkit design utilities - menus, panels and reports - each have a print command, which generates listings suitable for inclusion in a formal system specification.
