Re: [isabelle] A single way to reference AFP entries
>> The reason for .. mentioned above is that "it interacts correctly
>> with multiple AFP installations side by side". But would setting
>> AFP=.., if one has to work with multiple installations, not do the
> Unfortunately not. $AFP is set as part of the component setup in the
> AFP itself - so whichever AFP installation you mention last in the
> component initialisation setup will be the one $AFP refers to.
In consequence, this would also mean that AFP couldn't be used without
installing it (i.e. registering as a component).
This archive was generated by a fusion of
Pipermail (Mailman edition) and