diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-09 22:31:07 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-09 22:31:07 +0000 |
| commit | 2e9dc79676f737f2b905560a8a70d8fbed27b04a (patch) | |
| tree | d60514a4e0de2779d03b35d4441998e96f3549c4 /src/ChangeLog | |
| parent | 4b4a0dc6ce39b7ee849f81ddf66355713f0cbf27 (diff) | |
| download | open-axiom-2e9dc79676f737f2b905560a8a70d8fbed27b04a.tar.gz | |
* algebra/term.spad.pamphlet (zero?$Arity): New.
(one?$Arity): Likewise.
* algebra/op.spad.pamphlet (BasicOperator): Now belongs to
OperatorCategory(Symbol).
(operator$BasicOperator): One more overload.
* algebra/expr.spad.pamphlet (operator$Expression): Tidy.
* algebra/fspace.spad.pamphlet (elt$ExpressionSpace): Likewise.
* algebra/kl.spad.pamphlet (kernel$Kernel): Likewise.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index f5dbea5a..7760c9e6 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,16 @@ 2009-05-09 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/term.spad.pamphlet (zero?$Arity): New. + (one?$Arity): Likewise. + * algebra/op.spad.pamphlet (BasicOperator): Now belongs to + OperatorCategory(Symbol). + (operator$BasicOperator): One more overload. + * algebra/expr.spad.pamphlet (operator$Expression): Tidy. + * algebra/fspace.spad.pamphlet (elt$ExpressionSpace): Likewise. + * algebra/kl.spad.pamphlet (kernel$Kernel): Likewise. + +2009-05-09 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/compiler.boot (compApplication): Tidy. 2009-05-05 Gabriel Dos Reis <gdr@cs.tamu.edu> |