A high-performance hypertext system bySymbolics that provides on-line access to their userdocumentation.