HomeIsabelle/Phabricator

added more steps to afp site generation tool;

Description

added more steps to afp site generation tool;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFPa40fc791abac: tuned;
Branches
Unknown
Tags
Unknown