12 Nov
2015
12 Nov
'15
7:51 p.m.
I think bitsavers is the best spot for that type of thing.
But if for whatever reason Al doesn't wish to, I'd be happy to put them at:
http://www.classiccmp.org/PDP-11/
in the RT11 directory.
There are already files and distributions of interest there.
J