1.1 --- a/src/Pure/General/symbol.scala Mon Mar 26 20:11:27 2012 +0200
1.2 +++ b/src/Pure/General/symbol.scala Mon Mar 26 20:45:59 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("!", "#", "$", "%", "&", "*", "+", "-", "/", "<", "=", ">", "?", "@", "^", "_", "|", "~")