[plt-scheme] PLanetT development links
I would have guessed that that should be an error, actually. Shouldn't
the development links only be allowed to be new versions?
Robby
On 9/11/07, Dave Gurnell <d.j.gurnell at gmail.com> wrote:
> It looks as if regular PLaneT packages in the local cache override
> development links installed by the programmer. Is this the intended
> behaviour? It seems as if it would be useful to override a cached
> package to work on it without getting rid of it (i.e. the development
> link ought to override the cached package instead).
>
> It's no big deal - I can always do "planet -r" to the offending
> package - just a thought.
>
> Cheers,
>
> -- Dave
> _________________________________________________
> For list-related administrative tasks:
> http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>