Next: shortcut-notations Prev: manual-indexing Up: Other-Glasgow-features Top: Top
APRIL91: Sometimes you would really like to be able to go from a definition to all of its uses. Perhaps this should be an option.
Cross-referencing is automatically OFF when producing LaTeX documents (we found it mainly cluttered) and ON when producing Info files (which lets you jump to the definitions through a node's menu).