kframework/k — pull request #544 by dwightguth (2014-06-03 17:54:18+00:00)
Title: Add float binaries for windows

I will commit all the build scripts for all the different platforms to the mpfr java repository separately once I have finished all the platforms.

@andreistefanescu please review.