Re: [xml-dev] version numbers and infosets

>
>
>For that matter, the Java situation is not open and shut either.
>Although in Java it is guaranteed that '\n' == '\013', 
>
Really?
Isn't '\n' the newline character in Java and mapped to '\010'?
I think '\r' is mapped to '\013'.

Cheers,
/Eddie