TIP.config
McGregor, July 13, 1982 9:46 am
Maxwell, January 3, 1983 2:19 pm
Paul Rovner, June 15, 1983 4:27 pm
Russ Atkinson, September 23, 1983 12:03 pm
TIP: CONFIGURATION LINKS: CODE
IMPORTS Atom, BasicTime, FS, ClassIncreek, IO, Process, RefTab, Rope
EXPORTS GPM, TIPUser
= {
TIPUserImpl;
TIPMatcher;
GPMImpl;
TIPTableBuilder;
TIPTableBuilder2;
TIPTableReader;
TIPTableWriter
}.