From 8f3c25c8d9e883e5a785b43799e58b1d1fb4be6b Mon Sep 17 00:00:00 2001 From: Alexandre Oliva Date: Sat, 1 Feb 2014 00:58:50 -0200 Subject: * manual/signal.texi: Document MTASC-safety properties. --- ChangeLog | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 5a72530ac4..70dd3cfae1 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2014-02-01 Alexandre Oliva + + * manual/signal.texi: Document MTASC-safety properties. + 2014-01-31 Alexandre Oliva * manual/setjmp.texi: Document MTASC-safety properties. -- cgit v1.2.3