kframework/mpfr-java — pull request #2 by dwightguth (2014-05-22 23:01:38+00:00)
Title: Various fixes to MPFR java

I made several small changes to the library in order to be able to support its use for K. @andreistefanescu please reveiew.