clarified types: richer interface for metadata;
4cb970a0955a
Actions

Description

clarified types: richer interface for metadata;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (7)

Path

Size

tools/

rAFP4cb970a0955a

tools/afp_build.scala

tools/afp_check_metadata.scala

tools/afp_release.scala

tools/afp_site_gen.scala

tools/afp_structure.scala

tools/afp_submit.scala

clarified types: richer interface for metadata;4cb970a0955aActions

Description

Details

Changes (7)

rAFP4cb970a0955a

tools/afp_build.scala

tools/afp_check_metadata.scala

tools/afp_release.scala

tools/afp_site_gen.scala

tools/afp_structure.scala

tools/afp_submit.scala

tools/metadata.scala

clarified types: richer interface for metadata;
4cb970a0955a
Actions