Allow multiple `properties:` lines.  Closes #29.
Merge pull request #29 from adl/issue/29

Allow multiple `property:` lines
Tweak the definition of generalized-Rabin.  Closes #31.
Merge pull request #31 from adl/issue/31

generalized-Rabin syntax
Add some "current status" and "authors" sections
typo in Makefile
typo
typos / style
typo / style
Clarify Streett condition semantics
Clarify the fact that 't' and 'f' are not identifiers (#32).
Clarify that `--ABORT--` has to appear as a separate token. (#32)