Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. update the generated files
  2. continue 08ac9a2ae9e0
Changeset 6709:e5d62b5e578e by Frédéric Tuong:
update the generated files
The file was modified thys/Isabelle_Meta_Model/toy_example/document_generated/Design_generated.thy (diff)
Changeset 6708:63076f60fba4 by Frédéric Tuong:
continue 08ac9a2ae9e0
The file was modified thys/Isabelle_Meta_Model/toy_example/embedding/meta_toy/Parser_META.thy (diff)