Print

Print


<xref> and <ref> were combined to a single <ref>,
losing the distinction between internal and externals
references. <ref>'s @target attribute is always
a W3C pointer (ie '#intro' or 'http://www.example.org/foo')

Hope that makes sense.

-- 
Sebastian Rahtz      
Information Manager, Oxford University Computing Services
13 Banbury Road, Oxford OX2 6NN. Phone +44 1865 283431