Re: [isabelle] AFP instructions



Nice, that is sufficiently simple.

And I had not noticed `isabelle components -u` in the NEWS, which is also better than the command line instructions we have now. Things are indeed getting better over time.

Cheers,
Gerwin

> On 27 Feb 2021, at 23:00, Stepan Holub <holub at karlin.mff.cuni.cz> wrote:
> 
> 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.