diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-11-24 03:03:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-11-24 03:03:42 +0000 |
| commit | d43d705056fb2b6ce66fbd8f7ba5f49eab655321 (patch) | |
| tree | e0d5a97bf533f4b2a43f0dfb2f8462197fe8b82c /src/algebra/string.spad.pamphlet | |
| parent | 23cf19aad368e794357fb9fdcabd3ad412056b96 (diff) | |
| download | open-axiom-d43d705056fb2b6ce66fbd8f7ba5f49eab655321.tar.gz | |
Diffstat (limited to 'src/algebra/string.spad.pamphlet')
| -rw-r--r-- | src/algebra/string.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/string.spad.pamphlet b/src/algebra/string.spad.pamphlet index 311fb726..d053e00b 100644 --- a/src/algebra/string.spad.pamphlet +++ b/src/algebra/string.spad.pamphlet @@ -112,12 +112,12 @@ Character: OrderedFinite() with quote == %ccst "_"" underscore == %ccst "__" newline == %ccst "\n" - carriageReturn == %ccst "\r" + carriageReturn == %i2c 13 linefeed == %i2c 10 - formfeed == %ccst "\f" - backspace == %ccst "\b" - horizontalTab == %ccst "\t" - verticalTab == %ccst "\v" + formfeed == %i2c 12 + backspace == %i2c 8 + horizontalTab == %i2c 9 + verticalTab == %i2c 11 coerce(c:%):OutputForm == c : OutputForm digit? c == member?(c, digit()) hexDigit? c == member?(c, hexDigit()) |
