rgheck wrote: > So I'll go ahead and commit this if it seems good to Jurgen. I'd like > his opinion, too.
I didn't have time to test it. I'm fine with it as long as it is guaranteed that old (prettyref and prettyref/varioref combined) documents come out identical, at least if people do not use preamble or class tricks. Jürgen
