Diffusion afp-devel 25dbc1e991c8

rerun sitegen after merge from AFP 2023
25dbc1e991c8
Actions

Description

rerun sitegen after merge from AFP 2023

Details

Provenance

Rene Thiemann <rene.thiemann@uibk.ac.at>

Authored on

Parents

rAFP2548b08bc3c4: merge from AFP 2023

Branches

Unknown

Tags

Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP25dbc1e991c8: rerun sitegen after merge from AFP 2023.Fri, Apr 19, 1:26 PM

Changes (78)

Path

Size

web/

authors/

herasimau/

ito/

lima/

raabjerg/

sternagel/

thiemann/

treml/

yamada/

data/

dependencies/

certification_monads/

index.html

index.json

index.xml

polynomial_factorization/

psi_calculi/

show/

entries/

Actuarial_Mathematics.html

Berlekamp_Zassenhaus.html

Broadcast_Psi.html

Catalan_Numbers.html

Commuting_Hermitian.html

ConcurrentHOL.html

Doob_Convergence.html

Eval_FO.html

First_Order_Terms.html

HyperHoareLogic.html

Implicational_Logic.html

Jordan_Normal_Form.html

MFODL_Monitor_Optimized.html

MFOTL_Checker.html

MFOTL_Monitor.html

Polynomial_Factorization.html

ROBDD.html

Relational_Cardinality.html

Root_Balanced_Tree.html

Show.html

Uncertainty_Principle.html

sessions/

berlekamp_zassenhaus/

broadcast_psi/

concurrenthol/

doob_convergence/

eval_fo/

first_order_terms/

hyperhoarelogic/

implicational_logic/

jordan_normal_form/

mfotl_checker/

show/

uncertainty_principle/

xml/

statistics/

topics/

computer-science/

algorithms/

index.xml

concurrency/

index.xml

process-calculi/

index.xml

data-management-systems/

index.xml

data-structures/

index.html

functional-programming/

index.html

index.xml

logic/

general-logic/

index.xml

temporal-logic/

index.xml

mathematics/

games-and-economics/

physics/

quantum-information/

rAFP25dbc1e991c8

View Options

web/authors/herasimau/index.html

View Options

web/authors/index.xml

View Options

web/authors/ito/index.html

View Options

web/authors/ito/index.xml

View Options

web/authors/lima/index.html

View Options

web/authors/raabjerg/index.html

View Options

web/authors/sternagel/index.html

View Options

web/authors/thiemann/index.html

View Options

web/authors/treml/index.html

View Options

web/authors/yamada/index.html

View Options

web/authors/yamada/index.xml

View Options

web/data/keywords.json

View Options

web/dependencies/certification_monads/index.html

View Options

web/dependencies/index.json

View Options

web/dependencies/index.xml

View Options

web/dependencies/polynomial_factorization/index.html

View Options

web/dependencies/polynomial_factorization/index.xml

View Options

web/dependencies/psi_calculi/index.html

View Options

web/dependencies/show/index.html

View Options

web/dependencies/show/index.xml

View Options

web/entries/Actuarial_Mathematics.html

View Options

web/entries/Berlekamp_Zassenhaus.html

View Options

web/entries/Broadcast_Psi.html

View Options

web/entries/Catalan_Numbers.html

View Options

web/entries/Commuting_Hermitian.html

View Options

web/entries/ConcurrentHOL.html

View Options

web/entries/Doob_Convergence.html

View Options

web/entries/Eval_FO.html

View Options

web/entries/First_Order_Terms.html

View Options

web/entries/HyperHoareLogic.html

View Options

web/entries/Implicational_Logic.html

View Options

web/entries/Jordan_Normal_Form.html

View Options

web/entries/MFODL_Monitor_Optimized.html

View Options

web/entries/MFOTL_Checker.html

View Options

web/entries/MFOTL_Monitor.html

View Options

web/entries/Polynomial_Factorization.html

View Options

web/entries/ROBDD.html

View Options

web/entries/Relational_Cardinality.html

View Options

web/entries/Root_Balanced_Tree.html

View Options

web/entries/Show.html

View Options

web/entries/Uncertainty_Principle.html

View Options

web/entries/XML.html

View Options

web/entries/index.html

View Options

web/entries/index.xml

View Options

web/index.html

View Options

web/index.json

View Options

web/index.xml

View Options

web/sessions/berlekamp_zassenhaus/index.html

View Options

web/sessions/broadcast_psi/index.html

View Options

web/sessions/concurrenthol/index.html

View Options

web/sessions/doob_convergence/index.html

View Options

web/sessions/eval_fo/index.html

View Options

web/sessions/first_order_terms/index.html

View Options

web/sessions/hyperhoarelogic/index.html

View Options

web/sessions/implicational_logic/index.html

View Options

web/sessions/jordan_normal_form/index.html

View Options

web/sessions/mfotl_checker/index.html

View Options

web/sessions/show/index.html

View Options

web/sessions/uncertainty_principle/index.html

View Options

web/sessions/xml/index.html

View Options

web/sitemap.xml

View Options

web/statistics/index.html

View Options

web/topics/computer-science/algorithms/index.xml

View Options

web/topics/computer-science/concurrency/index.xml

View Options

web/topics/computer-science/concurrency/process-calculi/index.xml

View Options

web/topics/computer-science/data-management-systems/index.xml

View Options

web/topics/computer-science/data-structures/index.html

View Options

web/topics/computer-science/functional-programming/index.html

View Options

web/topics/computer-science/index.xml

View Options

web/topics/index.xml

View Options

web/topics/logic/general-logic/index.xml

View Options

web/topics/logic/general-logic/temporal-logic/index.xml

View Options

web/topics/logic/index.xml

View Options

web/topics/mathematics/games-and-economics/index.html

View Options

web/topics/mathematics/games-and-economics/index.xml

View Options

web/topics/mathematics/index.xml

View Options

web/topics/mathematics/physics/index.xml

View Options

web/topics/mathematics/physics/quantum-information/index.xml

rerun sitegen after merge from AFP 202325dbc1e991c8Actions

Description

Details

Event Timeline

Changes (78)

rAFP25dbc1e991c8

web/authors/herasimau/index.html

web/authors/index.xml

web/authors/ito/index.html

web/authors/ito/index.xml

web/authors/lima/index.html

web/authors/raabjerg/index.html

web/authors/sternagel/index.html

web/authors/thiemann/index.html

web/authors/treml/index.html

web/authors/yamada/index.html

web/authors/yamada/index.xml

web/data/keywords.json

web/dependencies/certification_monads/index.html

web/dependencies/index.json

web/dependencies/index.xml

web/dependencies/polynomial_factorization/index.html

web/dependencies/polynomial_factorization/index.xml

web/dependencies/psi_calculi/index.html

web/dependencies/show/index.html

web/dependencies/show/index.xml

web/entries/Actuarial_Mathematics.html

web/entries/Berlekamp_Zassenhaus.html

web/entries/Broadcast_Psi.html

web/entries/Catalan_Numbers.html

web/entries/Commuting_Hermitian.html

web/entries/ConcurrentHOL.html

web/entries/Doob_Convergence.html

web/entries/Eval_FO.html

web/entries/First_Order_Terms.html

web/entries/HyperHoareLogic.html

web/entries/Implicational_Logic.html

web/entries/Jordan_Normal_Form.html

web/entries/MFODL_Monitor_Optimized.html

web/entries/MFOTL_Checker.html

web/entries/MFOTL_Monitor.html

web/entries/Polynomial_Factorization.html

web/entries/ROBDD.html

web/entries/Relational_Cardinality.html

web/entries/Root_Balanced_Tree.html

web/entries/Show.html

web/entries/Uncertainty_Principle.html

web/entries/XML.html

web/entries/index.html

web/entries/index.xml

web/index.html

web/index.json

web/index.xml

web/sessions/berlekamp_zassenhaus/index.html

web/sessions/broadcast_psi/index.html

web/sessions/concurrenthol/index.html

web/sessions/doob_convergence/index.html

web/sessions/eval_fo/index.html

web/sessions/first_order_terms/index.html

web/sessions/hyperhoarelogic/index.html

web/sessions/implicational_logic/index.html

web/sessions/jordan_normal_form/index.html

web/sessions/mfotl_checker/index.html

web/sessions/show/index.html

web/sessions/uncertainty_principle/index.html

web/sessions/xml/index.html

web/sitemap.xml

web/statistics/index.html

web/topics/computer-science/algorithms/index.xml

web/topics/computer-science/concurrency/index.xml

web/topics/computer-science/concurrency/process-calculi/index.xml

web/topics/computer-science/data-management-systems/index.xml

web/topics/computer-science/data-structures/index.html

web/topics/computer-science/functional-programming/index.html

web/topics/computer-science/index.xml

web/topics/index.xml

web/topics/logic/general-logic/index.xml

web/topics/logic/general-logic/temporal-logic/index.xml

web/topics/logic/index.xml

web/topics/mathematics/games-and-economics/index.html

rerun sitegen after merge from AFP 2023
25dbc1e991c8
Actions