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
>> same?
> 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 MHonArc.