Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature;
  2. tuned signature;
  3. clarified command-line, following other build_XYZ tools;
  4. more recent OCaml and GHC stack: better support for Apple Silicon;
Changeset 73609:58b17dca57ef by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 73608:6081885b9d06 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/afp.scala (diff)
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 73607:fc13738e1933 by wenzelm:
clarified command-line, following other build_XYZ tools;
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
Changeset 73606:460e7535df46 by wenzelm:
more recent OCaml and GHC stack: better support for Apple Silicon;
The file was modified etc/settings (diff)