Use the Find Definitions view to locate definitions recorded by the system with a given name. Firstly click on
to ensure you have compiled the buffer displaying the Othello example. Then enter the name of the definition you are searching for in the name area and press
or click on
to display a list of matches together with their locations. Double-click on a match to display the source.
Figure 12.8 Displaying matches in the Find Definitions view
In addition, after using the
editor command (bound to
), the Find Definitions view can be invoked using
Alt+X View Source Search
to give a complete list of the matches.