Diffusion afp-devel 73f40b87e288

follow naming conventions of Isabelle/2a99fcb283ee;
73f40b87e288
Actions

Tags

None

Subscribers

None

Description

follow naming conventions of Isabelle/2a99fcb283ee;

Details

Provenance

Authored on

Parents

rAFP19047d6a642b: adapted to Isabelle/fd1fec53665b;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP73f40b87e288: follow naming conventions of Isabelle/2a99fcb283ee;.Aug 29 2023, 5:33 PM

Changes (6)

Path

Size

etc/

afp_build_hugo.scala

	afp_component_hugo.scala
	afp_build_hugo.scala

rAFP73f40b87e288

etc/build.props

Loading...

tools/admin/afp_build_hugo.scala

Loading...

tools/admin/afp_component_hugo.scala

Loading...

tools/afp_tool.scala

Loading...