Re: info files genersated by 4.0 and read by 3.12

[Karl Berry]

    Can someone point me in the direction of some documentation about these Ref: 
    lines in the tagtable?

They come from the @anchor command.

Sorry, there is no comprehensive documentation on the Info format.