On 31/07/11 16:33, Rob Arthan wrote:

On 30 Jul 2011, at 17:18, Rob Arthan wrote:

On 28 Jul 2011, at 18:10, Phil Clayton wrote:

There appears to be a bug in z_%mem%_seta_conv (see attached) when
renaming of bound variables is required but the bound variables are
introduced by a schema declaration.

Yes. This needs to be fixed.

I hope the work-around I posted was useful.

Yes, thanks - I have that working.


Proofpower mailing list

Reply via email to