[plt-scheme] glitch in documentation for PLAI?

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Thu Sep 17 18:41:33 EDT 2009

That link is supposed to be redirected through a cookie plus Javascript


The HTML generation could be smarter, in that the correct user-specific
target is known for documents that are built via Planet. I'll look into
that change.

But I wonder why the intended redirection didn't work. Is Javascript
disabled? Or cookies? Or is the "PLT_Root.4.2.1" cookie not set?

At Thu, 17 Sep 2009 10:48:48 -0400, Prabhakar Ragde wrote:
> I'm using 4.2.1. I loaded the Planet file for PLAI as described on the 
> PLAI web page, and restarted DrScheme. Working in the PLAI Scheme 
> language works fine. I can load the PLAI documentation page, visible 
> from the index page of Help Desk. But when I try to use the "top" link 
> by the search box, my browser says "file not found":
> file:///Users/plragde/Library/PLT%20Scheme/planet/300/4.2.1/cache/plai/plai.plt
> /1/3/doc/index.html
> I get a similar error when I try to search using the search box (the 
> missing file is .../1/3/doc/search/index.html). --PR
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.