I received these nice binders. https://i.imgur.com/L80ZGusl.jpg I think that most of them are already available online. Not sure about the UCSD Pascal manual? One of the binders contained some disks. https://i.imgur.com/FYIBbmjl.jpg Are these disks available online already or should I dump them? Bitsavers seems to have the Mac version. /Mattis