Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned;
  3. adapted to Poly/ML repository version;
Changeset 7295:a1a5ce88d640 by wenzelm:
merged
Changeset 7294:8e8303a7c0f4 by wenzelm:
tuned;
The file was modified thys/Latin_Square/ROOT (diff)
Changeset 7293:eff4e7d07f5f by wenzelm:
adapted to Poly/ML repository version;
The file was modified thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic.thy (diff)