removed ExpandSumOperator. Using Alloy's native sum quantifier generated by Clafer
updated version numbers for release 0.3.4
release 0.3.4
instructions for binary distro
README/version
0.3.5.15-01-2014 in code
v0.3.5.17-01-2014
Added "donotruncompiler" command
Added maxint stub and changed releasedate
resolved conflict
Merge pull request #3 from gsdlab/develop

Release 0.3.5