Summary
- support for libgmp on x86_64-darwin;
The file was added | Admin/polyml/NOTES |
The file was modified | src/Pure/Admin/build_polyml.scala (diff) |
The file was removed | Admin/polyml/CHECKLIST |
The file was added | Admin/polyml/NOTES |
The file was modified | src/Pure/Admin/build_polyml.scala (diff) |
The file was removed | Admin/polyml/CHECKLIST |