Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. misc tuning for release;
  2. update for release;
Changeset 80078:1231a7fb2510 by wenzelm:
misc tuning for release;
The file was modified NEWS
Changeset 80077:ee07b7738a24 by wenzelm:
update for release;
The file was modified COPYRIGHT