Fix an out-of-date type declaration
Add options that speed up 'make dialyzer'
spelling
Merge pull request #47 from puzza007/master

Spelling in statem docs
Add a note for PropEr invocation from EUnit

Closes #49
Merge pull request #50 from Motiejus/eunit_readme

Add a note for PropEr invocation from EUnit
Move paragraph about EUnit issue capturing stdout to Common problems
Fix identation
Fix identation
Fix bullets
One more contributor
One more contributor
Contributors now appear in order
Ensure compile_flags.hrl is built even without make

Windows by default does not have a working make. This patch ensures
pure Erlang apps can be built with PropEr support despite the lack
of a native make command.
Merge pull request #51 from dch/master

Allows clean build on Windows without make
Add option for specifing a list of MFAs to skip when checking a module's specs

PropEr's tight integration with Erlang's type system is very helpful.
However, there are times when one would like to check all of a
module's exported function specs except for a handful of specs.  The
'{skip_mfas, [<MFA>]}' option can be used for such times.
Merge pull request #57 from norton/norton-skip-mfas

Add option for specifing a list of MFAs to skip when checking a module's specs.
Put files in alphabetical order
Fix misunderstanding in handling of binary types
Extend the text and the list of those mentioned