From 03483adac5329a229d543d8bcf316868e262c98d Mon Sep 17 00:00:00 2001 From: Alexandre Oliva Date: Fri, 31 Jan 2014 23:36:46 -0200 Subject: * manual/pattern.texi: Document MTASC-safety properties. --- ChangeLog | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index f45c45bbbe..242738a0ea 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2014-01-31 Alexandre Oliva + + * manual/pattern.texi: Document MTASC-safety properties. + 2014-01-31 Alexandre Oliva * manual/message.texi: Document MTASC-safety properties. -- cgit v1.2.3