Edit: Nope! The vector display was an HP!

"HP 1347A Vector Generator:

Prototype (firmware and controls differ from retail version, no front bezel) HP-IB interface to the controller Second HP-IB interface to plotter for hard-copy Three analog outputs (XYZ) Programmable via HPGL or raw data transfer Display green phosphor 11.5 cm x 8.5 cm (5,6" diagonal) Adressable resolution 2048 x 1513 Viewable resolution on integrated display 266 x 196 lines Memory for max. 4,000 vectors or 8,000 characters Refresh rate approx. 60 Hz with 2,000 vectors Drawing speed max. 5.1 mm/µs Power consumption max. 80 Watts"

---- my original text here ----

"The resolution on the 9845 display was not high enough for recording or projecting, so the frames were created one at a time on a high resolution vector display and recorded onto film."

That sounds a whole lot like Tektronix 4012 and or 4050 storage CRT vector displays. They could act like a plotter for the HP machine.

The Tek had 4K vector resolution back then and a film recorder option.