IndexTool.config
Copyright © 1985 by Xerox Corporation. All rights reserved.
Rick Beach, April 6, 1985 9:08:35 pm PST
IndexTool:
CONFIGURATION
LINKS:
CODE
IMPORTS Atom, Buttons, ChoiceButtons, Commander, EditSpan, InputFocus, IO, Labels, List, Menus, MessageWindow, NumberLabels, Rope, Rosary, Rules, RuntimeError, TEditScrolling, TextEdit, TextNode, TiogaButtons, TiogaFileOps, TiogaOps, VFonts, ViewerOps, ViewerSpecs, ViewerTools
EXPORTS ALL
CONTROL RedBlackTreeImpl, IndexPropsImpl, IndexTreeImpl, IndexToolViewerImpl =