Diffusion afp-devel 58de046a39b6

regen website
58de046a39b6
Actions

Tags

None

Subscribers

None

Description

regen website

Details

Provenance

Authored on

Parents

rAFPf8bd219cedb2: minor editorial changes for CZH entries

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP58de046a39b6: regen website.Oct 4 2021, 11:37 PM

Changes (9)

Path

Size

metadata/

web/

entries/

CZH_Elementary_Categories.html

CZH_Foundations.html

CZH_Universal_Constructions.html

Conditional_Simplification.html

Conditional_Transfer_Rule.html

Intro_Dest_Elim.html

Types_To_Sets_Extension.html

statistics.html

rAFP58de046a39b6

metadata/metadata

Loading...

web/entries/CZH_Elementary_Categories.html

Loading...

web/entries/CZH_Foundations.html

Loading...

web/entries/CZH_Universal_Constructions.html

Loading...

web/entries/Conditional_Simplification.html

Loading...

web/entries/Conditional_Transfer_Rule.html

Loading...

web/entries/Intro_Dest_Elim.html

Loading...

web/entries/Types_To_Sets_Extension.html

Loading...

web/statistics.html

Loading...