Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged from afp-2016-1
  2. add default Isabelle version
  3. regnerate site
  4. update submission prose
Changeset 7711:b5593dc27e9e by kleing:
merged from afp-2016-1
Changeset 7710:2c23dff3050f by gerwin.klein@data61.csiro.au:
add default Isabelle version
The file was modified admin/testall (diff)
Changeset 7709:07c7792f4c7c by lars hupel _lars.hupel@mytum.de_:
regnerate site
The file was modified web/submitting.shtml (diff)
Changeset 7708:f5a436eb2766 by lars hupel _lars.hupel@mytum.de_:
update submission prose
The file was modified admin/sitegen-lib/templates/submitting.tpl (diff)