more precise treatment of \r\n as blank symbol (cf. 2bf29095d26f), e.g. relevant for loading theory headers in Isabelle/jEdit -- NB: jEdit and Isabelle/ML normalize newline variants to \n, but Isabelle/Scala retains them literally;
1.1 --- a/src/Pure/General/symbol.scala Mon Mar 26 19:18:03 2012 +0200
1.2 +++ b/src/Pure/General/symbol.scala Mon Mar 26 20:42:00 2012 +0200
1.3 @@ -347,7 +347,7 @@
1.4 "\\<^isub>", "\\<^isup>")
1.5
1.6 val blanks =
1.7 - recode_set(space, "\t", "\n", "\u000B", "\f", "\r", "\\<spacespace>", "\\<^newline>")
1.8 + recode_set(space, "\t", "\n", "\u000B", "\f", "\r", "\r\n", "\\<spacespace>", "\\<^newline>")
1.9
1.10 val sym_chars =
1.11 Set("!", "#", "$", "%", "&", "*", "+", "-", "/", "<", "=", ">", "?", "@", "^", "_", "|", "~")