Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge from afp-2016
  2. link to new devel page
  3. new entry Surprise_Paradox
Changeset 6957:c83c992f395f by kleing:
merge from afp-2016
Changeset 6956:510b12724637 by lars hupel _lars.hupel@mytum.de_:
link to new devel page
The file was modified metadata/index.tpl (diff)
The file was modified web/index.shtml (diff)
Changeset 6955:b045a9ec2999 by nipkow:
new entry Surprise_Paradox
The file was addedthys/Surprise_Paradox/ROOT
The file was addedthys/Surprise_Paradox/Surprise_Paradox.thy
The file was addedthys/Surprise_Paradox/document/root.bib
The file was addedthys/Surprise_Paradox/document/root.tex
The file was addedweb/entries/Surprise_Paradox.shtml
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/entries/Incompleteness.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)