Permalink
Commits on Jun 28, 2011
Commits on Jun 18, 2011
Commits on Jun 9, 2011
Commits on Jun 7, 2011
  1. Merge remote branch 'origin/doc' into doc

    eiriniar committed Jun 7, 2011
    Conflicts:
    	src/proper.erl
    	src/proper_fsm.erl
    	src/proper_statem.erl
    	src/proper_types.erl
    	src/proper_typeserver.erl
  2. better indentation

    eiriniar committed Jun 3, 2011
Commits on Jun 6, 2011
Commits on Jun 3, 2011
  1. better indentation

    eiriniar committed Jun 3, 2011
Commits on Jun 2, 2011
Commits on May 28, 2011
Commits on May 21, 2011
Commits on May 20, 2011
  1. bigger timeout in unit test

    eiriniar committed May 20, 2011
Commits on May 19, 2011
  1. remove unused functions

    eiriniar committed May 19, 2011
  2. cleanups in statem

    eiriniar committed May 19, 2011
Commits on May 18, 2011
Commits on May 16, 2011
Commits on May 15, 2011
  1. Merge remote branch 'origin/master' into statem

    eiriniar committed May 15, 2011
    Conflicts:
    	src/proper_statem.erl
Commits on May 14, 2011
Commits on May 11, 2011
  1. some documentation added

    eiriniar committed May 11, 2011
Commits on May 7, 2011
  1. Merge remote branch 'origin/statem' into statem

    eiriniar committed May 7, 2011
    Conflicts:
    	src/proper_statem.erl
    	test/proper_tests.erl
  2. Merge branch 'master' of github.com:manopapad/proper into statem

    eiriniar committed May 7, 2011
    Conflicts:
    	src/proper_statem.erl
Commits on May 6, 2011