Diffusion afp-devel f09f74b716c7

list proper affiliations;
f09f74b716c7
Actions

Tags

None

Subscribers

None

Description

list proper affiliations;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP6ed3fce64064: merged

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPf09f74b716c7: list proper affiliations;.Tue, Apr 30, 4:36 PM

Changes (1)

Path

Size

tools/

afp_submit.scala

rAFPf09f74b716c7

tools/afp_submit.scala

Loading...