Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated polyml component;
  2. no --enable-shared: leads to slow bigint operations (e.g. in session HOL-ODE-Examples);
Changeset 67610:4939494ed791 by wenzelm:
updated polyml component;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 67609:738b4d4eeb61 by wenzelm:
no --enable-shared: leads to slow bigint operations (e.g. in session HOL-ODE-Examples);
The file was modified src/Pure/Admin/build_polyml.scala (diff)