+2014-02-01 Alexandre Oliva <aoliva@redhat.com>
+
+ * manual/socket.texi: Document MTASC-safety properties.
+
+2014-02-01 Alexandre Oliva <aoliva@redhat.com>
+
+ * manual/signal.texi: Document MTASC-safety properties.
+
+2014-01-31 Alexandre Oliva <aoliva@redhat.com>
+
+ * manual/setjmp.texi: Document MTASC-safety properties.
+
+2014-01-31 Alexandre Oliva <aoliva@redhat.com>
+
+ * manual/search.texi: Document MTASC-safety properties.
+
+2014-01-31 Alexandre Oliva <aoliva@redhat.com>
+
+ * manual/resource.texi: Document MTASC-safety properties.
+
+2014-01-31 Alexandre Oliva <aoliva@redhat.com>
+
+ * manual/process.texi: Document MTASC-safety properties.
+
2014-01-31 Alexandre Oliva <aoliva@redhat.com>
* manual/platform.texi: Document MTASC-safety properties.