<hypertext, tool> A high-performance hypertext system by Symbolics that provides on-line access to their user documentation.
(16 Apr 1995)