diff options
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 18217fbfe9..9e79e628e7 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ 2014-01-29 Alexandre Oliva <aoliva@redhat.com> + * manual/arith.texi: Document MTASC-safety properties. + +2014-01-29 Alexandre Oliva <aoliva@redhat.com> + * manual/argp.texi: Document MTASC-safety properties. 2014-01-29 Alexandre Oliva <aoliva@redhat.com> |