Documentation

[Jerzy Karczmarczuk <karczma@info.unicaen.fr>]

Sorry for my laziness, I might probably find it myself, but with
the changes of all PLT sites I couldn't do it *easily*.

How to get the .plt documentation off-line? Where are the bundles?
The Help Desk can find them when there are uninstalled manuals, but
I have here installed all, now I want to load them again without
unpacking, for some of my dearest students, who don't have Internet
at home.


Jerzy Karczmarczuk