diff options
Diffstat (limited to 'src/algebra/ChangeLog')
| -rw-r--r-- | src/algebra/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/algebra/ChangeLog b/src/algebra/ChangeLog index e0ed5d53..84881e17 100644 --- a/src/algebra/ChangeLog +++ b/src/algebra/ChangeLog @@ -1,3 +1,10 @@ +2007-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * Makefile.pamphlet (SYNTAX.NRLIB/code.$(FASLEXT)): New rule. + (axiom_algebra_layer_14): Include SYNTAX.o. + * syntax.spad: New algebra file. + * domain.spad (Domain$reify): New. + 2007-11-12 Gabriel Dos Reis <gdr@cs.tamu.edu> * mappkg.spad.pamphlet: Through use "import" for importing packages. |