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);
  3. retain remote_builds_old for build_status;
  4. lxbroy7 no longer exists;
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)
Changeset 67608:1b2be3666b89 by wenzelm:
retain remote_builds_old for build_status;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 67607:724992318c82 by wenzelm:
lxbroy7 no longer exists;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)