Diffusion afp-devel fad1e73aa9b3

clarified web_app paths: better naming, more operations;
fad1e73aa9b3
Actions

Tags

None

Subscribers

None

Description

clarified web_app paths: better naming, more operations;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP2da2d86049f3: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPfad1e73aa9b3: clarified web_app paths: better naming, more operations;.Mar 29 2024, 5:50 PM

Changes (2)

Path

Size

tools/

afp_submit.scala

rAFPfad1e73aa9b3

tools/afp_submit.scala

Loading...

tools/web_app.scala

Loading...