Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. proper URL;
  2. merged;
  3. Added tag Isabelle2019 for changeset 83774d669b51
Changeset 70330:312e4a40db01 by wenzelm:
proper URL;
The file was modified Admin/Release/CHECKLIST
Changeset 70329:8dce5eed5993 by wenzelm:
merged;
Changeset 70328:400238fad6c2 by wenzelm:
Added tag Isabelle2019 for changeset 83774d669b51
The file was modified .hgtags