diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-09-22 00:02:53 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-09-22 00:02:53 +0000 |
| commit | b79e1543c220c230e3c88dbbee3837d9859f54bf (patch) | |
| tree | d643cf5255dec7e82ae74ebba88bb462f21cd31a /src/ChangeLog | |
| parent | 6f1839db405dee48ca384b957521eb2ac1be7b11 (diff) | |
| download | open-axiom-b79e1543c220c230e3c88dbbee3837d9859f54bf.tar.gz | |
* algebra/syntax.spad.pamphlet: Tie the recursive knots between
syntax domains.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 743cd4fa..e6587ace 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2008-09-21 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/syntax.spad.pamphlet: Tie the recursive knots between + syntax domains. + +2008-09-21 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/syntax.spad.pamphlet (SpadAst): New. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add SPADAST. * share/algebra: Update algebra databases. |