Changes

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

Changeset 14378:8d3fcd31ac4c by rene thiemann _rene.thiemann@uibk.ac.at_: merge
Changeset 14377:bc73e71c3234 by rene thiemann _rene.thiemann@uibk.ac.at_: sitegen
The file was modified	`web/authors/binder/index.html`
The file was modified	`web/authors/cordwell/index.html`
The file was modified	`web/authors/mitsch/index.html`
The file was modified	`web/authors/platzer/index.html`
The file was modified	`web/authors/scharager/index.html`
The file was modified	`web/authors/tan/index.html`
The file was modified	`web/entries/BenOr_Kozen_Reif.html`
The file was modified	`web/entries/Labeled_Transition_Systems.html`
The file was modified	`web/entries/Picks_Theorem.html`
The file was modified	`web/entries/Pushdown_Systems.html`
The file was modified	`web/entries/Quantifier_Elimination_Hybrid.html`
The file was modified	`web/entries/Virtual_Substitution.html`
The file was modified	`web/sitemap.xml`
Changeset 14376:57d340026ba7 by rene thiemann _rene.thiemann@uibk.ac.at_: updated data of Katherine Kosaian (requested by email)
The file was modified	`metadata/authors.toml`