Re: [isabelle] AFP instructions
Absolutely! Now I understand what Makarius says.
The right instruction is
"Open user setting file in jEdit by: File > Open > Favorites >
and add the line ...
On 27-Feb-21 12:34 PM, Makarius wrote:
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.
Tento e-mail byl zkontrolován na viry programem AVG.
This archive was generated by a fusion of
Pipermail (Mailman edition) and