Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge from afp-2016-1
  2. new entry Minkowskis_Theorem
  3. Name_Carrying_Type_Inference: streamlined theory imports
  4. new entry Name_Carrying_Type_Inference
  5. Merged in ammerbauer/afp-2016-1 (pull request #8) Default Approved-by: Lars Hupel <lars.hupel@mytum.de>
  6. sitegen builds download site
  7. Replace optparse with argparse
Changeset 8125:5676cfe0ecfe by kleing:
merge from afp-2016-1
Changeset 8124:3dac2273cf69 by gerwin.klein@data61.csiro.au:
new entry Minkowskis_Theorem
The file was addedthys/Minkowskis_Theorem/Minkowskis_Theorem.thy
The file was addedthys/Minkowskis_Theorem/ROOT
The file was addedthys/Minkowskis_Theorem/document/root.bib
The file was addedthys/Minkowskis_Theorem/document/root.tex
The file was addedweb/entries/Minkowskis_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/rss.xml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 8123:72664000027f by gerwin.klein@data61.csiro.au:
Name_Carrying_Type_Inference: streamlined theory imports
The file was modified thys/Name_Carrying_Type_Inference/PreSimplyTyped.thy (diff)
The file was modified thys/Name_Carrying_Type_Inference/SimplyTyped.thy (diff)
Changeset 8122:9b8ff294a425 by gerwin.klein@data61.csiro.au:
new entry Name_Carrying_Type_Inference
The file was addedthys/Name_Carrying_Type_Inference/Fresh.thy
The file was addedthys/Name_Carrying_Type_Inference/Permutation.thy
The file was addedthys/Name_Carrying_Type_Inference/PreSimplyTyped.thy
The file was addedthys/Name_Carrying_Type_Inference/ROOT
The file was addedthys/Name_Carrying_Type_Inference/SimplyTyped.thy
The file was addedthys/Name_Carrying_Type_Inference/document/root.tex
The file was addedweb/entries/Name_Carrying_Type_Inference.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/rss.xml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 8121:3a11631aecda by gerwin klein _gerwin@doclsf.de_:
Merged in ammerbauer/afp-2016-1 (pull request #8)<br><br>Default<br><br>Approved-by: Lars Hupel &lt;lars.hupel@mytum.de&gt;
Changeset 8120:ba5c1ae5b742 by max "ammerbauer" haslbeck _max.haslbeck@gmx.de_:
sitegen builds download site
The file was modified admin/sitegen-lib/sitegen.py (diff)
The file was modified admin/sitegen-lib/templates.py (diff)
The file was modified admin/sitegen-lib/templates/download.tpl (diff)
The file was modified web/download.shtml (diff)
Changeset 8119:963c48bff47e by max "ammerbauer" haslbeck _max.haslbeck@gmx.de_:
Replace optparse with argparse
The file was modified admin/sitegen (diff)
The file was modified admin/sitegen-lib/config.py (diff)
The file was modified admin/sitegen-lib/sitegen.py (diff)
The file was modified admin/sitegen-lib/templates.py (diff)