equal
deleted
inserted
replaced
67 (as before). |
67 (as before). |
68 * The ASCII zero character is printed and parsed as »0«. |
68 * The ASCII zero character is printed and parsed as »0«. |
69 * All other canonical characters are printed as »CHAR 0xXX« |
69 * All other canonical characters are printed as »CHAR 0xXX« |
70 with XX being the hexadecimal character code. »CHAR n« |
70 with XX being the hexadecimal character code. »CHAR n« |
71 is parsable for every numeral expression n. |
71 is parsable for every numeral expression n. |
72 * Non-canonial characters have no special syntax and are |
72 * Non-canonical characters have no special syntax and are |
73 printed as their logical representation. |
73 printed as their logical representation. |
74 - Explicit conversions from and to the natural numbers are |
74 - Explicit conversions from and to the natural numbers are |
75 provided as char_of_nat, nat_of_char (as before). |
75 provided as char_of_nat, nat_of_char (as before). |
76 - The auxiliary nibble type has been discontinued. |
76 - The auxiliary nibble type has been discontinued. |
77 |
77 |