>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> Well, this is prettyref, not varioref. but you're right, Juergen> varioref is also used (I seem to have another version on my Juergen> box). . prettyref was the original proble. >> This is in section 6.1. As far as 1.3.4 is concerned, it would be >> nice if a german writer could propose an alternative translation >> that does not use prettyref (user's docs are not supposed to use >> non-standard packages). The original english text does not use >> prettyref. Juergen> The sections shows a list of all supported reference types. Juergen> The only way to go, if we do not want to use prettyref and Juergen> varioref in the docs, is to delete that list altogether. I thought about something like that, like in the english does, and you could the prettref and varioref alternatives with some plain words (with a footnote explaining that it does not work for everybody and that people are encouraged to play with it). And of couse the equivalent text for the english userguide would be welcome :) JMarc
