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 >
$ISABELLE_HOME_USER
and add the line ...
"
Stepan


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.



	Makarius


--
Tento e-mail byl zkontrolován na viry programem AVG.
http://www.avg.cz





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