* manual/debug.texi: Document MTASC-safety properties.
authorAlexandre Oliva <aoliva@redhat.com>
Thu, 30 Jan 2014 20:50:57 +0000 (18:50 -0200)
committerAlexandre Oliva <aoliva@redhat.com>
Thu, 30 Jan 2014 20:50:57 +0000 (18:50 -0200)
commit0037bb6010522e20dde2da7922071d5cb53f67eb
tree750ae7dc975e32050c992eafefc8e288033af846
parent409e00bd69b8d8dd74d7327085351d26769ea6fc
* manual/debug.texi: Document MTASC-safety properties.
ChangeLog
manual/debug.texi