diff options
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index e19df674..a574d36e 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,13 @@ 2008-01-21 Gabriel Dos Reis <gdr@cs.tamu.edu> + Apply patch byStephen Wilson <<wilsons@multiboard.com> + Fix AW/370 + * interp/compiler.boot (compWithMappingMode): Consult current + environment to decide which variabes are free. + * testsuite/compiler/cwmm-test.spad: New. + +2008-01-21 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/syntax.spad.pamphlet (Syntax): Assert a member of SetCategory. Implement equality. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Move |