Commit graph

2 commits

Author SHA1 Message Date
asau
d4fd6b573b The package doesn't require GMP, turn it off, provide option instead. 2012-06-15 09:20:28 +00:00
asau
0264aa662c Import Poly/ML version 5.2.1
Poly/ML is Standard ML implementation originating from Cambridge University.
2009-03-20 21:12:51 +00:00