I'd be willing to bet they used one of these:


http://www.vintagesynth.com/index2.html

I'd recommend checking out Pole as well.