Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. merge from AFP 2024
  2. running sitegen
  3. added missing author of AutoCorres2 entry (request by N. Schirmer)
  4. consistenly display homepage (instead of email) for thiemann
Changeset 14355:4cc564ce0c4a by rene thiemann _rene.thiemann@uibk.ac.at_:
merge from AFP 2024
Changeset 14354:12f1328fb502 by rene thiemann _rene.thiemann@uibk.ac.at_:
running sitegen
The file was modified web/authors/bottesch/index.html
The file was modified web/authors/brecknell/index.html
The file was modified web/authors/dalvit/index.html
The file was modified web/authors/divason/index.html
The file was modified web/authors/eberl/index.html
The file was modified web/authors/greenaway/index.html
The file was modified web/authors/hoelzl/index.html
The file was modified web/authors/immler/index.html
The file was modified web/authors/index.xml
The file was modified web/authors/joosten/index.html
The file was modified web/authors/klein/index.html
The file was modified web/authors/kolanski/index.html
The file was modified web/authors/kuncar/index.html
The file was modified web/authors/lim/index.html
The file was modified web/authors/middeldorp/index.html
The file was modified web/authors/mitterwallner/index.html
The file was modified web/authors/norrish/index.html
The file was modified web/authors/schirmer/index.html
The file was modified web/authors/schmidinger/index.html
The file was modified web/authors/sewell/index.html
The file was modified web/authors/sickert/index.html
The file was modified web/authors/sickert/index.xml
The file was modified web/authors/sternagel/index.html
The file was modified web/authors/thiemann/index.html
The file was modified web/authors/tuch/index.html
The file was modified web/authors/wimmer/index.html
The file was modified web/authors/yamada/index.html
The file was modified web/dependencies/simpl/index.html
The file was modified web/dependencies/word_lib/index.html
The file was modified web/entries/Algebraic_Numbers.html
The file was modified web/entries/AutoCorres2.html
The file was modified web/entries/Berlekamp_Zassenhaus.html
The file was modified web/entries/Certification_Monads.html
The file was modified web/entries/Clique_and_Monotone_Circuits.html
The file was modified web/entries/Containers.html
The file was modified web/entries/Cubic_Quartic_Equations.html
The file was modified web/entries/Datatype_Order_Generator.html
The file was modified web/entries/Deriving.html
The file was modified web/entries/Factor_Algebraic_Polynomial.html
The file was modified web/entries/Jordan_Normal_Form.html
The file was modified web/entries/LP_Duality.html
The file was modified web/entries/Lifting_Definition_Option.html
The file was modified web/entries/Modular_arithmetic_LLL_and_HNF_algorithms.html
The file was modified web/entries/Multiset_Ordering_NPC.html
The file was modified web/entries/Multitape_To_Singletape_TM.html
The file was modified web/entries/Orient_Rewrite_Rule_Undecidable.html
The file was modified web/entries/Partial_Function_MR.html
The file was modified web/entries/Perron_Frobenius.html
The file was modified web/entries/Polynomial_Factorization.html
The file was modified web/entries/Polynomial_Interpolation.html
The file was modified web/entries/Real_Impl.html
The file was modified web/entries/Show.html
The file was modified web/entries/Sqrt_Babylonian.html
The file was modified web/entries/Subresultants.html
The file was modified web/entries/Sunflowers.html
The file was modified web/entries/Transitive-Closure-II.html
The file was modified web/entries/Transitive-Closure.html
The file was modified web/entries/Weighted_Path_Order.html
The file was modified web/entries/XML.html
The file was modified web/entries/index.html
The file was modified web/index.html
The file was modified web/index.json
The file was modified web/sitemap.xml
The file was modified web/topics/computer-science/programming-languages/language-definitions/index.html
The file was modified web/topics/computer-science/programming-languages/logics/index.html
The file was modified web/topics/computer-science/semantics-and-reasoning/index.html
The file was modified web/topics/tools/index.html
Changeset 14353:296a92a15504 by rene thiemann _rene.thiemann@uibk.ac.at_:
added missing author of AutoCorres2 entry (request by N. Schirmer)
The file was modified metadata/entries/AutoCorres2.toml
The file was modified thys/AutoCorres2/README.md
The file was modified thys/AutoCorres2/document/root.tex
Changeset 14352:dfecbdec4c7e by rene thiemann _rene.thiemann@uibk.ac.at_:
consistenly display homepage (instead of email) for thiemann
The file was modified metadata/entries/Algebraic_Numbers.toml
The file was modified metadata/entries/Berlekamp_Zassenhaus.toml
The file was modified metadata/entries/Certification_Monads.toml
The file was modified metadata/entries/Clique_and_Monotone_Circuits.toml
The file was modified metadata/entries/Containers.toml
The file was modified metadata/entries/Cubic_Quartic_Equations.toml
The file was modified metadata/entries/Datatype_Order_Generator.toml
The file was modified metadata/entries/Deriving.toml
The file was modified metadata/entries/Factor_Algebraic_Polynomial.toml
The file was modified metadata/entries/Jordan_Normal_Form.toml
The file was modified metadata/entries/LP_Duality.toml
The file was modified metadata/entries/Lifting_Definition_Option.toml
The file was modified metadata/entries/Modular_arithmetic_LLL_and_HNF_algorithms.toml
The file was modified metadata/entries/Multiset_Ordering_NPC.toml
The file was modified metadata/entries/Multitape_To_Singletape_TM.toml
The file was modified metadata/entries/Orient_Rewrite_Rule_Undecidable.toml
The file was modified metadata/entries/Partial_Function_MR.toml
The file was modified metadata/entries/Perron_Frobenius.toml
The file was modified metadata/entries/Polynomial_Factorization.toml
The file was modified metadata/entries/Polynomial_Interpolation.toml
The file was modified metadata/entries/Real_Impl.toml
The file was modified metadata/entries/Show.toml
The file was modified metadata/entries/Sqrt_Babylonian.toml
The file was modified metadata/entries/Subresultants.toml
The file was modified metadata/entries/Sunflowers.toml
The file was modified metadata/entries/Transitive-Closure-II.toml
The file was modified metadata/entries/Transitive-Closure.toml
The file was modified metadata/entries/Weighted_Path_Order.toml
The file was modified metadata/entries/XML.toml