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;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFP9f1d39da07c2: sitegen for Lifting_the_Exponent
- Branches
- Unknown
- Tags