Age | Commit message (Expand) | Author |
---|---|---|
2015-09-17 | Fixed quickcheck within the module | Mark Perry |
2015-09-16 | Removed commented out code | Mark Perry |
2015-09-16 | Use internal compilation, fails with thread pool issue | Mark Perry |
2015-09-16 | Added help and Frege package dir for compile task | Mark Perry |