2013-03-10 | Kim Nguyễn | Merge branch 'feature/test-suite' | blob | commitdiff | raw |
2013-03-10 | Kim Nguyễn | Merge branch 'feature/attributes' | blob | commitdiff | raw |
2013-03-09 | Kim Nguyễn | Fix the handling of attributes: | blob | commitdiff | raw |
2013-03-04 | Kim Nguyễn | Only print ∑ instead of ∑-{} when the set is universal. | blob | commitdiff | raw | diff to current |
2013-02-07 | Kim Nguyễn | Refactor module organisation and build process. | blob | commitdiff | raw | diff to current |