Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified script name;
  2. prefer mercurial-2.8.2 for more robustness (i.e. the version used by the hosting service https://admin.phacility.com);
Changeset 71363:ce3409dfb18c by wenzelm:
clarified script name;
The file was addedAdmin/Linux/Isabelle_app
The file was modified Admin/Linux/Isabelle.c (diff)
The file was modified Admin/components/bundled-linux (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was removedAdmin/Linux/Isabelle.run
Changeset 71362:597059a44d6f by wenzelm:
prefer mercurial-2.8.2 for more robustness (i.e. the version used by the hosting service https://admin.phacility.com);
The file was modified src/Doc/System/Phabricator.thy (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)