[MetaPRL Users] Term extraction problem

[Aleksey Nogin]

On 07.09.2006 11:19, Wojtek Moczydlowski wrote:

>>>  But, unfortunately, even
>>> after
>>> this I still get the same message.
>>
>> Hm, this all is really strange. Can you may be email me the transcript 
>> of the whole MetaPRL session where this happens, so that I can see if 
>> there is something unusual on the way?
> 
> I think I'm proceeding in the most straightforward way possible:
> 

Hi Wojtek,

Sorry for taking so long to respond. This is all very strange - I will 
probably to insert some extra debugging code into MetaPRL (in the next 
few days) - this way we'd know what is going on...

P.S. Sorry you've stumbled into this weird bug, this is not how things 
normally work out in MetaPRL. ;-)

Aleksey