Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. change emails
Changeset 6495:08b6f5f321c6 by Frédéric Tuong:
change emails
The file was modified metadata/metadata (diff)
The file was modified thys/Featherweight_OCL/config (diff)
The file was modified thys/Isabelle_Meta_Model/config (diff)