>>> "Satya" == Satya <[EMAIL PROTECTED]> writes: > Yes, there is a lot of information in the .output file we could use; > but this is intended for a human reader;
This file is really obsolete, even for the human. It should be an XML file, with XSLT transformations towards HTML and text. I have always been annoyed to have to play with C-s under my editor (guess its brand) where I want to be able to click on the symbol. There should be many many cross-references in that file. So it would made a lot of sense to design an appropriate XML output format, both for other programs and users.
