Diffusion afp-devel 7b3ccda1eee6

tuned;
7b3ccda1eee6
Actions

Tags

None

Subscribers

None

Description

tuned;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFPab8dd4efb9fb: clarified names;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP7b3ccda1eee6: tuned;.Mar 26 2024, 3:51 PM

Changes (2)

Path

Size

tools/

afp_submit.scala

rAFP7b3ccda1eee6

tools/afp_submit.scala

Loading...

tools/web_app.scala

Loading...