HomeIsabelle/Phabricator

more robust component setup for AFP/thys: support "isabelle components -u" and…

Description

more robust component setup for AFP/thys: support "isabelle components -u" and init $AFP_BASE on demand;
no ROOTS in $AFP_BASE: proper support for "isabelle build -a" with $AFP_BASE component, but without $AFP component;

Details

Provenance
makariusAuthored on
Parents
rAFP9f1d39da07c2: sitegen for Lifting_the_Exponent
Branches
Unknown
Tags
Unknown