You may notice changes in the look of the document. The stylesheets themselves should not be modified in any way, but you can make changes to the appearance of the documentation by using a customized driver, as explained in the next two chapters.
Copyright © 1995-2004 by Cogent Real-Time Systems, Inc. All rights reserved.