Table of Contents

Function Xref-Theory

(xref-theory <theory-or-name>
                [:filename <filename>]
                [:stream <stream>]
                [:use-html-p <use-html-p>])

Cross reference utility for Ontolingua theories. Tries to cross reference the theory specified by <theory-or-name>. If no such theory can be found, the file specified by <theory-filename> will be loaded. If <theory-filename> was not provided, the user will be prompted for a file to load. A cross reference report for the specified is then output on *standard-output*. If use-html-p is T then then the report will be generated in html with hyper-text references.