Build #197:   Merge pull request #61 from Renelvon/simpler_make Simplify Makefile. Split `all` and `... on branch master over 10 years ago

Build #676:   Merge pull request #335 from dionyziz/proof_typo_fixes Fix inversed quotes on branch develop about 9 years ago

Build #168:   Merge branch 'develop' * This is version 0.5.0. Conflicts: README.md on branch v0.5.0 almost 11 years ago