Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. NEWS;
  2. updated to polyml-5.7.1-2, which includes libgmp for x86-darwin as well;
  3. support for libgmp for x86-darwin;
  4. more accessible src/Pure/ROOT.ML;
  5. tuned;
Changeset 67591:6fd9902057f5 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 67590:4fb9cbe10f3e by wenzelm:
updated to polyml-5.7.1-2, which includes libgmp for x86-darwin as well;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 67589:085f5c2e11f7 by wenzelm:
support for libgmp for x86-darwin;
The file was modified Admin/polyml/README (diff)
The file was modified src/Pure/Admin/build_polyml.scala (diff)
Changeset 67588:f3a68e350ab6 by wenzelm:
more accessible src/Pure/ROOT.ML;
The file was modified etc/settings (diff)
The file was modified src/Pure/ROOT.ML (diff)
Changeset 67587:5fcd6aad8e6b by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_polyml.scala (diff)