On 03/21/2010 09:29 AM, Jürgen Spitzmüller wrote:
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.
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.
The real issue is theorems and lemmas, which refstyle does not by
default define formats for. I guess we could include such definitions
ourselves in theorems.inc, etc. But then we have to make sure that
refstyle is loaded, or else wrap the definitions in an if-defined type
of clause.
Any thoughts?
Richard
