TIP.config
Copyright © 1984 by Xerox Corporation. All rights reserved.
McGregor, July 13, 1982 9:46 am
Maxwell, January 3, 1983 2:19 pm
Paul Rovner, June 15, 1983 4:27 pm
Russ Atkinson, July 20, 1984 4:22:12 pm PDT
TIP: CONFIGURATION LINKS: CODE
IMPORTS Atom, BasicTime, DefaultRemoteNames, FS, ClassIncreek, IO, Process, RefTab, Rope
EXPORTS GPM, TIPUser
= {
TIPUserImpl;
TIPMatcher;
GPMImpl;
TIPTableBuilder;
TIPTableBuilder2;
TIPTableReader;
TIPTableWriter
}.