On Sep 1, Matthew Flatt wrote:
>
> You might need to delete a cookie with "PLT_Root" in its name.
>
> I had to do that once after I installed a Planet package, opened
> docs with `plt-help', and then removed the version-specific
> subdirectory in my ".plt-scheme" directory. Searching got confused
> because the index file had disappeared, and the "PLT_Root" cookie
> points to that index file.
This is not the first time this happened, and I still don't have an
idea how it can be fixed. Just in case someone has a good idea.
[Moved to plt-dev.]
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
