[plt-scheme] 299.408 help-desk and old planet libraries

On Dec 10, 2005, at 5:07 PM, Anton van Straaten wrote:

> Jens Axel Søgaard wrote:
>> That must be bug 7287 and 7601 you are talking about.
>
> Yes, I guess mine was the same as 7601.  I don't recall whether  
> HTMLPrag was the library which was mentioned in the error message,  
> but it might very well have been.
>
> BTW, I'm not sure that recompiling .zo-files in the PLaneT cache,  
> as the problem report synopsis suggests, is the right solution, for  
> the reasons I mentioned -- you might want to have more than one  
> version installed at the same time, or even running at the same time.

Yes, this is a known issue with PLaneT and we hope to be able to do  
something about it. The setup-plt  suggestion is just a way to get  
things working again. Thanks.

Robby