S2A 0.5 beta Release Notes
Version name: 0.5 beta
Version date: Wed, 10 Oct 2007

Usage of the S2A compiler is permitted for non-commercial research and evaluation
purposes.  For more details see: http://www.wisdom.weizmann.ac.il/~maozs/s2a/

Updates in 0.5 beta:
* Support for object composition [enhancement]
* Some partial order problems issues [bug fix]
* Idnetifying violations problems [bug fix]
* Coordinator events queue [bug fix]