Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. -
  2. merged
  3. new submission system
Changeset 6427:8d7e3304ddfc by nipkow:
-
The file was modified web/entries/Applicative_Lifting.shtml (diff)
Changeset 6426:cc0eda29d160 by nipkow:
merged
Changeset 6425:e9c2ab9ce93e by nipkow:
new submission system
The file was modified thys/Example-Submission/Submission.thy (diff)
The file was modified web/submitting.shtml (diff)