diff options
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 555b23b3..35b83293 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2009-05-14 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * algebra/any.spad.pamphlet (RuntimeValue): New domain. + * algebra/Makefile.pamphlet ($(OUT)/RTVALUE.$(FASLEXT)): New rule. + 2009-05-14 Michael Becker <Michael.Becker@coconet.de> Fix SF/2790725 (take 2) |