kframework/mpfr-java — pull request #3 by dwightguth (2014-05-29 17:08:23+00:00)
Title: More minor fixes to MPFR Java

@andreistefanescu please review.