IndexTool.config
Copyright © 1985 by Xerox Corporation. All rights reserved.
Rick Beach, April 29, 1985 12:09:38 pm PDT
IndexTool:
CONFIGURATION
LINKS:
CODE
IMPORTS Atom, Buttons, ChoiceButtons, Commander, Containers, EditSpan, IO, Labels, List, Menus, MessageWindow, NumberLabels, PutGet, Rope, Rosary, Rules, RuntimeError, TEditScrolling, TextEdit, TextNode, TiogaButtons, TiogaOps, ViewerOps, ViewerSpecs, ViewerTools
EXPORTS ALL
CONTROL RedBlackTreeImpl, IndexPropsImpl, IndexTreeImpl, IndexToolViewerImpl =