Re: documentation for MzScheme pre-releases

[Alexey Mahotkin <alexm@jet.msk.su>]

>>>>> "AM" == Alexey Mahotkin <alexm@jet.msk.su> writes:

    AM> - I could not get (help-desk) work from MrEd however hard I've
    AM> tried.

Hm.  (require (lib "help.ss" "help")) helped.   However, I am behind a
very tight firewall (even disabling DNS lookups) and so:

Cannot display
"http://www.cs.rice.edu/CS/PLT/PreRelease/DocBundles200/help-doc.plt":
tcp-connect: connection to www.cs.rice.edu, port 80 failed; host not
found (at step 1: errno=?)


Does MrEd know about proxies?  Can it use pre-downloaded .plt-files? 

    AM> I've downloaded prerelease help-doc.plt, but it is not so
    AM> readable inside.  Why aren't its sources provided in CVS?
    AM> Could it be so?  Or at least current snapshots?


By the way, "view installed manuals" gives: "reference to undefined
identifier: require-library" in current CVS...

--alexm