* manual/pattern.texi: Document MTASC-safety properties.
authorAlexandre Oliva <aoliva@redhat.com>
Sat, 1 Feb 2014 01:36:46 +0000 (23:36 -0200)
committerAlexandre Oliva <aoliva@redhat.com>
Sat, 1 Feb 2014 01:36:46 +0000 (23:36 -0200)
commit03483adac5329a229d543d8bcf316868e262c98d
treef18e48f8d3d154b1d35bf50c7eff6805941d3978
parent29e7e2dfea5ed7875bbeb79f7c0cc7a7ba9ca123
* manual/pattern.texi: Document MTASC-safety properties.
ChangeLog
manual/pattern.texi