On 27/02/2021 12:18, Makarius wrote:
Yet another proposal to approximate instructions that actually work:
* Use "isabelle -u MY_RELATIVE_PATH_TO_AFP" to register the main AFP
directory as Isabelle component (there is also "isabelle -x ..." to remove it.
(These operations are idempotent.)
This should be "isabelle components -u MY_RELATIVE_PATH_TO_AFP".
See also the following Isabelle2021/NEWS entry:
*** System ***
* The command-line tool "isabelle components" supports new options -u
and -x to manage $ISABELLE_HOME_USER/etc/components without manual
editing of Isabelle configuration files.
Makarius