search

runtimeverification / mpfr-java

GNU MPFR Java Bindings
Other
11 stars 10 forks source link

More minor fixes to MPFR Java #3

Closed dwightguth closed 10 years ago

dwightguth commented 10 years ago

@andreistefanescu please review.

andreistefanescu commented 10 years ago

lgtm