hypertext, tool A high-performance hypertext system by

Symbolics that provides on-line access to their user

documentation.