HomeIsabelle/Phabricator

replaced ci_profiles by statically compiled afp_build tool (Scala 3…

Description

replaced ci_profiles by statically compiled afp_build tool (Scala 3 preparations);

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFP70d4c1546b4f: afp structure: added accessors;
Branches
Unknown
Tags
Unknown