Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merged
  2. tuned --- rename = dist_name is sufficient;
  3. proper dist_name;
  4. clarified option -P: allow empty argument;
  5. support for existing release archive; misc tuning and clarification;
  6. tuned signature;
  7. clarified signature;
  8. more website content;
  9. misc tuning and clarification: more explicit types Release_Context, Release_Archive;
  10. tuned signature;
Changeset 73633:7e465e166bb2 by wenzelm:
merged
Changeset 73632:7c70f10e0b3b by wenzelm:
tuned --- rename = dist_name is sufficient;
The file was modified src/Pure/Admin/build_release.scala
Changeset 73631:f17caa5002df by wenzelm:
proper dist_name;
The file was modified src/Pure/Admin/build_release.scala
Changeset 73630:f2e836e013cb by wenzelm:
clarified option -P: allow empty argument;
The file was modified src/Pure/Admin/build_release.scala
Changeset 73629:a771807df752 by wenzelm:
support for existing release archive;<br>misc tuning and clarification;
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/Admin/isabelle_devel.scala
Changeset 73628:ac8feb094bd4 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_jdk.scala
The file was modified src/Pure/General/path.scala
Changeset 73627:27659455c592 by wenzelm:
clarified signature;
The file was modified src/Pure/General/file.scala
Changeset 73626:0732f66ce514 by wenzelm:
more website content;
The file was modified src/Pure/Admin/build_release.scala
Changeset 73625:f8f065e20837 by wenzelm:
misc tuning and clarification: more explicit types Release_Context, Release_Archive;
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/Admin/isabelle_devel.scala
The file was modified src/Pure/Admin/other_isabelle.scala
Changeset 73624:f033d4f661e9 by wenzelm:
tuned signature;
The file was modified src/Pure/General/mercurial.scala
The file was modified src/Pure/System/isabelle_system.scala