100644 blob e7d791b3f1001207424261fb0c191ba1c23d9c89	SoftFloat-history.html
100644 blob 8001964871b649c65f7b42f8ab73eb8e23d63008	SoftFloat-source.html
100644 blob 8953d6857a000f8bd6efd92d9599a70b6721be98	SoftFloat.html