diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-26 00:01:39 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-26 00:01:39 +0000 |
| commit | 90fc77c04c5f93595231f0da603d3f48e7ebbddb (patch) | |
| tree | 1e5cc8ec4be21995d5d857bdc2ac7ae8c37007a6 /src/algebra/string.spad.pamphlet | |
| parent | 59676ddc602b874061a8acc941f7bb19cd6041f5 (diff) | |
| download | open-axiom-90fc77c04c5f93595231f0da603d3f48e7ebbddb.tar.gz | |
* interp/compiler.boot (compString): Remove as unused.
* interp/mark.boot (compString): Likewise.
* algebra/string.spad.pamphlet (StringCategory): Remove obsolete
comments. Remove redundant SetCategory extension.
Diffstat (limited to 'src/algebra/string.spad.pamphlet')
| -rw-r--r-- | src/algebra/string.spad.pamphlet | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/algebra/string.spad.pamphlet b/src/algebra/string.spad.pamphlet index 8a1a0210..e735a8f8 100644 --- a/src/algebra/string.spad.pamphlet +++ b/src/algebra/string.spad.pamphlet @@ -504,12 +504,10 @@ String(): StringCategory == IndexedString(MINSTRINGINDEX) add \section{category STRICAT StringCategory} <<category STRICAT StringCategory>>= )abbrev category STRICAT StringCategory --- Note that StringCategory is built into the old compiler --- redundant SetCategory added to help A# compiler ++ Description: ++ A category for string-like objects -StringCategory():Category == Join(StringAggregate(), SetCategory, OpenMath) with +StringCategory():Category == Join(StringAggregate(), OpenMath) with string: Integer -> % ++ string(i) returns the decimal representation of i in a string |