Diffusion afp-devel 19047d6a642b

adapted to Isabelle/fd1fec53665b;
19047d6a642b
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/fd1fec53665b;

Details

Provenance

Authored on

Parents

rAFP10d85056cf3b: Relational_Disjoint_Set_Forests: update history

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP19047d6a642b: adapted to Isabelle/fd1fec53665b;.Aug 29 2023, 5:29 PM

Changes (1)

Path

Size

tools/

admin/

afp_build_hugo.scala

rAFP19047d6a642b

tools/admin/afp_build_hugo.scala

Loading...