Yes, they are. The anonymous CVS web page has the details, but
you should be able to follow the "manuals" link in Help Desk
and there should be a link there that says "refresh all manuals"
that downloads them all.
Robby
> For list-related administrative tasks:
>http://list.cs.brown.edu/mailman/listinfo/plt-scheme>> Are the PLT manuals accessible via CVS?
>> It'd be nice to have the latest documentation always installed,
> if that can be done without overimposing on the CVS/download server.
>> --
>http://www.neilvandyke.org/>>