Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. theory_qualifier for overlapping sessions;
  2. clarified imports;
Changeset 8182:c90d47f11ea1 by wenzelm:
theory_qualifier for overlapping sessions;
The file was modified thys/Probabilistic_System_Zoo/ROOT (diff)
Changeset 8181:a24857efef03 by wenzelm:
clarified imports;
The file was modified thys/Dependent_SIFUM_Refinement/ROOT (diff)