Diffusion afp-devel a3fabfbbbca7

tuned instructions;
a3fabfbbbca7
Actions

Tags

None

Subscribers

None

Description

tuned instructions;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFPec1c6f010228: regenerate site;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPa3fabfbbbca7: tuned instructions;.Jul 14 2023, 5:42 PM

Changes (2)

Path

Size

admin/

site/

content/

tools/

afp_submit.scala

rAFPa3fabfbbbca7

admin/site/content/submission.md

Loading...

tools/afp_submit.scala

Loading...