On Sat, 29 Jan 2011, Al Kossow wrote: > > Sorry to butt in, but how did you OCR those? > > Acrobat 9 Pro, which is what I've used on all of the bitsavers docs > that have been OCRed, which is quite a few now. Abbyy FineReader also does a quite good job of OCR:ing old manuals. I have run through old DEC and DG manuals with good results. Peter