rgheck wrote: > I'm not sure if we can guarantee that they will be identical, only very > close. This is because the default format for refstyle isn't always (and > hasn't always) been exactly the same as prettyref's. So you may get > slightly different text in certain cases.
That's bad. In this case, I vote for keeping prettyref for old documents and use refstyle only for new ones (as default). Jürgen