I put an introductory manual up under pdp11/rt11/micropowerPascal on bitsavers. There is a five volume manual set for the product, which doesn't appear to be in the CHM archives. Looks like that would be a good thing to be on the lookout for.