From e567f2a0b4ca0350e3877e4199820dffc634d983 Mon Sep 17 00:00:00 2001 From: Alexandre Oliva Date: Wed, 29 Jan 2014 05:26:47 -0200 Subject: * manual/conf.texi: Document MTASC-safety properties. --- ChangeLog | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 9e79e628e7..c5eec9c005 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2014-01-29 Alexandre Oliva + + * manual/conf.texi: Document MTASC-safety properties. + 2014-01-29 Alexandre Oliva * manual/arith.texi: Document MTASC-safety properties. -- cgit v1.2.3