Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);
  2. eliminated perl: prefer elementary GNU printenv;
  3. more robust bootstrap of components;
  4. more self-contained support for macOS;
Changeset 73582:dabe295c3f62 by wenzelm:
proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73581:cd84e58aed26 by wenzelm:
eliminated perl: prefer elementary GNU printenv;
The file was modified lib/Tools/getenv (diff)
The file was modified src/Doc/System/Misc.thy (diff)
Changeset 73580:a96564139fa7 by wenzelm:
more robust bootstrap of components;
The file was modified Admin/components/main (diff)
The file was modified lib/scripts/getfunctions (diff)
Changeset 73579:8ddf6728ad80 by wenzelm:
more self-contained support for macOS;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified lib/scripts/getfunctions (diff)