diff options
Diffstat (limited to 'src/doc/ChangeLog')
-rw-r--r-- | src/doc/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/doc/ChangeLog b/src/doc/ChangeLog index 0c4d6a32..0738fcf5 100644 --- a/src/doc/ChangeLog +++ b/src/doc/ChangeLog @@ -1,3 +1,7 @@ +2007-11-19 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * msgs/s2-us.msgs: Consistently use OpenAxiom. + 2007-05-30 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (${DVI}/book.dvi): Don't use NOISE. |