Summary
- NEWS;
- updated to polyml-5.7.1-2, which includes libgmp for x86-darwin as well;
- support for libgmp for x86-darwin;
- more accessible src/Pure/ROOT.ML;
- tuned;
The file was modified | NEWS (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/components/main (diff) |
The file was modified | Admin/polyml/README (diff) |
The file was modified | src/Pure/Admin/build_polyml.scala (diff) |
The file was modified | etc/settings (diff) |
The file was modified | src/Pure/ROOT.ML (diff) |
The file was modified | src/Pure/Admin/build_polyml.scala (diff) |