diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-24 08:16:06 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-24 08:16:06 +0000 |
| commit | 2341ec9865ba01ce326f6eb46bddef32cb2a83b8 (patch) | |
| tree | b1335a6ec0213794ed1067fab50a867c5b357aa1 /src/algebra/outform.spad.pamphlet | |
| parent | 68639c56f45afe2df802235f50b4ab8b3886dca4 (diff) | |
| download | open-axiom-2341ec9865ba01ce326f6eb46bddef32cb2a83b8.tar.gz | |
* algebra/outform.spad.pamphlet: Cleanup.
* algebra/polycat.spad.pamphlet: Likewise.
* algebra/sregset.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/outform.spad.pamphlet')
| -rw-r--r-- | src/algebra/outform.spad.pamphlet | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/src/algebra/outform.spad.pamphlet b/src/algebra/outform.spad.pamphlet index b951f6c4..de35766f 100644 --- a/src/algebra/outform.spad.pamphlet +++ b/src/algebra/outform.spad.pamphlet @@ -496,7 +496,6 @@ OutputForm(): SetCategory with ss a, b: % - l: List % s: String e: Symbol n: Integer @@ -567,12 +566,12 @@ OutputForm(): SetCategory with else l1:=[u,:l1] cons(c, l1) - brace a == bless [eform 'BRACE, a] - brace l == brace commaSeparate l - bracket a == bless [eform 'BRACKET, a] - bracket l == bracket commaSeparate l - paren a == bless [eform 'PAREN, a] - paren l == paren commaSeparate l + brace a == bless [eform 'BRACE, a] + brace(l: List %) == brace commaSeparate l + bracket a == bless [eform 'BRACKET, a] + bracket(l: List %) == bracket commaSeparate l + paren a == bless [eform 'PAREN, a] + paren(l: List %) == paren commaSeparate l sub (a,b) == bless [eform 'SUB, a, b] super (a, b) == bless [eform 'SUPERSUB,a,sform " ",b] |