HomeIsabelle/Phabricator

clarified component settings: always update existing version;

Description

clarified component settings: always update existing version;
remove old component version from $ISABELLE_HOME_USER/etc/components;

Details

Provenance
makariusAuthored on
Parents
rISABELLE2b19c70c44c2: more TODO for release;
Branches
Unknown
Tags
Unknown