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