Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. clarified signature;
  2. tuned signature;
  3. clarified command-line, following other build_XYZ tools;
Changeset 73609:58b17dca57ef by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_history.scala
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/General/mercurial.scala
The file was modified src/Pure/System/isabelle_system.scala
Changeset 73608:6081885b9d06 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/afp.scala
The file was modified src/Pure/Admin/build_history.scala
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/Admin/isabelle_cronjob.scala
The file was modified src/Pure/System/isabelle_system.scala
Changeset 73607:fc13738e1933 by wenzelm:
clarified command-line, following other build_XYZ tools;
The file was modified Admin/Release/CHECKLIST
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/Admin/isabelle_devel.scala