Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge from afp-2016
  2. new entry Ptolemy's Theorem
  3. Collections: don't export code to file
Changeset 6991:11f2262b8eed by kleing:
merge from afp-2016
Changeset 6990:316e68e3f42d by nipkow:
new entry Ptolemy's Theorem
The file was addedthys/Ptolemys_Theorem/Ptolemys_Theorem.thy
The file was addedthys/Ptolemys_Theorem/ROOT
The file was addedthys/Ptolemys_Theorem/document/root.bib
The file was addedthys/Ptolemys_Theorem/document/root.tex
The file was addedweb/entries/Ptolemys_Theorem.shtml
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 6989:17e21e34bec7 by lars hupel _lars.hupel@mytum.de_:
Collections: don't export code to file
The file was modified thys/Collections/Examples/Autoref/Nested_DFS.thy (diff)