Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. merge
  2. ConcurrentIMP, ConcurrentGC: repair build, fingers crossed.
Changeset 10417:2f514b762f93 by peter gammie _peteg42@gmail.com_:
merge
Changeset 10416:093ccf72bdbe by peter gammie _peteg42@gmail.com_:
ConcurrentIMP, ConcurrentGC: repair build, fingers crossed.
The file was modified thys/ConcurrentGC/Model.thy