diff options
author | dos-reis <gdr@axiomatics.org> | 2009-01-07 00:10:06 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-01-07 00:10:06 +0000 |
commit | a85264fb5a5f7cc8a62153fa562808ef60a9330e (patch) | |
tree | 20d4ebebcf24ebaac152c6100e22286c86d26bf4 /src/ChangeLog | |
parent | 258d6427280f1ee0cce0dcdf12c38ad65b5e36cc (diff) | |
download | open-axiom-a85264fb5a5f7cc8a62153fa562808ef60a9330e.tar.gz |
* algebra/any.spad.pamphlet (Maybe): Rework.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 8053d465..cb93a17d 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,9 @@ 2009-01-06 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/any.spad.pamphlet (Maybe): Rework. + +2009-01-06 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/sys-utility.boot (getVMType): IndexList are lists. * interp/g-util.boot (isSubDomain): Tidy. * interp/g-opt.boot (isVMConstantForm): New. |