Diffusion afp-devel d95b0fa0cbf5

clarified web app parameters;
d95b0fa0cbf5
Actions

Tags

None

Subscribers

None

Description

clarified web app parameters;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP0afb82b8179e: proper topic input validation;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPd95b0fa0cbf5: clarified web app parameters;.Mar 30 2024, 12:25 AM

Changes (2)

Path

Size

tools/

afp_submit.scala

rAFPd95b0fa0cbf5

tools/afp_submit.scala

Loading...

tools/web_app.scala

Loading...