Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. adjust proof after merge to development version
  2. merge from AFP 2024 + rerun sitegen
  3. use addr_bitsize instead of hard-coded number 32
  4. merge from afp-2023
  5. Sitegen for PNT_with_Remainder
  6. New entry PNT_with_Remainder, including some corrections to root.tex, etc.
  7. sitegen for Substitutions_Lambda_Free
  8. new entry Substitutions_Lambda_Free
Changeset 14375:9a83c44bc08c by rene thiemann _rene.thiemann@uibk.ac.at_:
adjust proof after merge to development version
The file was modified thys/PNT_with_Remainder/Relation_of_PNTs.thy
Changeset 14374:49bfc4286ee3 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge from AFP 2024 + rerun sitegen
Changeset 14373:2afc1133093a by rene thiemann _rene.thiemann@uibk.ac.at_:
use addr_bitsize instead of hard-coded number 32
The file was modified thys/AutoCorres2/HeapLift.thy
Changeset 14372:8c7a3c77d39b by Gerwin Klein _gerwin.klein@proofcraft.systems_:
merge from afp-2023
Changeset 14371:f697459fe21e by paulson _lp15@cam.ac.uk_:
Sitegen for PNT_with_Remainder
The file was addedmetadata/entries/PNT_with_Remainder.toml
The file was addedweb/authors/song/index.html
The file was addedweb/authors/song/index.xml
The file was addedweb/authors/yao/index.html
The file was addedweb/authors/yao/index.xml
The file was addedweb/entries/PNT_with_Remainder.html
The file was addedweb/sessions/pnt_with_remainder/index.html
The file was modified metadata/authors.toml
The file was modified web/authors/index.html
The file was modified web/authors/index.json
The file was modified web/data/keywords.json
The file was modified web/dependencies/index.html
The file was modified web/dependencies/prime_number_theorem/index.html
The file was modified web/dependencies/prime_number_theorem/index.xml
The file was modified web/entries/Dirichlet_Series.html
The file was modified web/entries/Hypergraph_Colourings.html
The file was modified web/entries/Latin_Square.html
The file was modified web/entries/Prime_Distribution_Elementary.html
The file was modified web/entries/Prime_Number_Theorem.html
The file was modified web/entries/Treaps.html
The file was modified web/entries/index.html
The file was modified web/entries/index.xml
The file was modified web/index.html
The file was modified web/index.json
The file was modified web/index.xml
The file was modified web/sessions/index.xml
The file was modified web/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/topics/index.html
The file was modified web/topics/mathematics/index.xml
The file was modified web/topics/mathematics/number-theory/index.html
The file was modified web/topics/mathematics/number-theory/index.xml
Changeset 14370:b171dfcfd160 by paulson _lp15@cam.ac.uk_:
New entry PNT_with_Remainder, including some corrections to root.tex, etc.
The file was addedthys/PNT_with_Remainder/PNT_Complex_Analysis_Lemmas.thy
The file was addedthys/PNT_with_Remainder/PNT_Notation.thy
The file was addedthys/PNT_with_Remainder/PNT_Remainder_Library.thy
The file was addedthys/PNT_with_Remainder/PNT_Subsummable.thy
The file was addedthys/PNT_with_Remainder/PNT_with_Remainder.thy
The file was addedthys/PNT_with_Remainder/Perron_Formula.thy
The file was addedthys/PNT_with_Remainder/ROOT
The file was addedthys/PNT_with_Remainder/Relation_of_PNTs.thy
The file was addedthys/PNT_with_Remainder/Zeta_Zerofree.thy
The file was addedthys/PNT_with_Remainder/document/root.tex
The file was modified thys/ROOTS
Changeset 14369:ed2967e3a478 by traytel:
sitegen for Substitutions_Lambda_Free
The file was addedmetadata/entries/Substitutions_Lambda_Free.toml
The file was addedweb/entries/Substitutions_Lambda_Free.html
The file was addedweb/sessions/substitutions_lambda_free/index.html
The file was modified metadata/authors.toml
The file was modified web/authors/trelat/index.html
The file was modified web/authors/trelat/index.xml
The file was modified web/data/keywords.json
The file was modified web/dependencies/index.html
The file was modified web/dependencies/lambda_free_rpos/index.html
The file was modified web/dependencies/lambda_free_rpos/index.xml
The file was modified web/dependencies/well_quasi_orders/index.html
The file was modified web/dependencies/well_quasi_orders/index.xml
The file was modified web/entries/Approximation_Algorithms.html
The file was modified web/entries/CubicalCategories.html
The file was modified web/entries/Higher_Order_Terms.html
The file was modified web/entries/Hypergraph_Colourings.html
The file was modified web/entries/Lambda_Free_RPOs.html
The file was modified web/entries/Well_Quasi_Orders.html
The file was modified web/entries/index.html
The file was modified web/entries/index.xml
The file was modified web/index.html
The file was modified web/index.json
The file was modified web/index.xml
The file was modified web/sessions/index.xml
The file was modified web/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/topics/index.html
The file was modified web/topics/logic/index.xml
The file was modified web/topics/logic/rewriting/index.html
The file was modified web/topics/logic/rewriting/index.xml
Changeset 14368:03a630e86fe8 by traytel:
new entry Substitutions_Lambda_Free
The file was addedthys/Substitutions_Lambda_Free/ROOT
The file was addedthys/Substitutions_Lambda_Free/Substitutions_Lambda_Free.thy
The file was addedthys/Substitutions_Lambda_Free/document/root.bib
The file was addedthys/Substitutions_Lambda_Free/document/root.tex
The file was modified thys/ROOTS