Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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
Changeset 73581:cd84e58aed26 by wenzelm:
eliminated perl: prefer elementary GNU printenv;
The file was modified lib/Tools/getenv
The file was modified src/Doc/System/Misc.thy
Changeset 73580:a96564139fa7 by wenzelm:
more robust bootstrap of components;
The file was modified Admin/components/main
The file was modified lib/scripts/getfunctions
Changeset 73579:8ddf6728ad80 by wenzelm:
more self-contained support for macOS;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified lib/scripts/getfunctions