Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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 (diff)
Changeset 70329:8dce5eed5993 by wenzelm:
merged;
Changeset 70328:400238fad6c2 by wenzelm:
Added tag Isabelle2019 for changeset 83774d669b51
The file was modified .hgtags (diff)