- reserve upper-case characters (#4)
- introduce PLTLf and PLDLf (#5)
- stress the difference between finite trace semantics and infinite trace semantics.
- add full list of keywords and update EBNF definition of
Atom1 accordingly - update description of boolean constants
- make boolean constants case-insensitive in EBNF description
First release.