diff options
author | dos-reis <gdr@axiomatics.org> | 2009-08-16 14:17:40 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-08-16 14:17:40 +0000 |
commit | ab480e7c03c9f3ab95856eaff6e6493882ff0c36 (patch) | |
tree | bba846f3e063f72834df5121dfff6d68ad7f4f91 /src/algebra/string.spad.pamphlet | |
parent | d2afe2366c2c592327cd0eb6593a3536a6eff54d (diff) | |
download | open-axiom-ab480e7c03c9f3ab95856eaff6e6493882ff0c36.tar.gz |
* interp/i-map.boot (addMap): Fix typo from last commit.
* interp/compiler.boot (compElt): Fix thinko, one more time.
* interp/nruncomp.boot (optDeltaEntry): Don't overquote VM forms
for constants.
* algebra/algext.spad.pamphlet: Call niladic functions with empty
argument lists.
* algebra/ddfact.spad.pamphlet: Likewise.
* algebra/gpgcd.spad.pamphlet: Likewise.
* algebra/modmon.spad.pamphlet: Likewise.
* algebra/pf.spad.pamphlet: Likewise.
* algebra/polycat.spad.pamphlet: Likewise.
* algebra/twofact.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: "nil" is now a ocnstant.
* algebra/string.spad.pamphlet: "space", "quote", "escape" are now
constants.
Diffstat (limited to 'src/algebra/string.spad.pamphlet')
-rw-r--r-- | src/algebra/string.spad.pamphlet | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/string.spad.pamphlet b/src/algebra/string.spad.pamphlet index 058da44a..f176ed9d 100644 --- a/src/algebra/string.spad.pamphlet +++ b/src/algebra/string.spad.pamphlet @@ -34,12 +34,12 @@ Character: OrderedFinite() with ++ code i. It is always true that \spad{ord char i = i}. char: String -> % ++ char(s) provides a character from a string s of length one. - space: () -> % - ++ space() provides the blank character. - quote: () -> % - ++ quote() provides the string quote character, \spad{"}. - escape: () -> % - ++ escape() provides the escape character, \spad{_}, which + space: % + ++ \spad{space} provides the blank character. + quote: % + ++ \spad{quote} provides the string quote character, \spad{"}. + escape: % + ++ \spad{escape} provides the escape character, \spad{_}, which ++ is used to allow quotes and other characters {\em within} ++ strings. upperCase: % -> % |