Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. clarified type constraints;
  3. merged form afp-2016
  4. Makefiles are not needed anymore
Changeset 6499:eb5b30d684b0 by wenzelm:
merged
Changeset 6498:61a1c5a37227 by wenzelm:
clarified type constraints;
The file was modified thys/Pi_Calculus/Strong_Late_Expansion_Law.thy (diff)
Changeset 6497:79755eaadf1b by kleing:
merged form afp-2016
Changeset 6496:d320adc2c11c by lars hupel _lars.hupel@mytum.de_:
Makefiles are not needed anymore
The file was modified admin/sitegen.py (diff)