Re: [isabelle] AFP instructions



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




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.