Ehm, schválně, co najdeš na http://www.symbolics.com ? ;-) Mimochodem, vřele doporučuju zkusit whois symbolics.com
, a obzvlášť se kouknout na datum. :-)
Pokud jde o Symbolics, opravdu by bylo bývalo možné, aby ho IBM bylo koupilo kvůli nízkému výkonu Lispu na strojích 704/709. Nicméně mi není příliš jasné, proč by to byli dělali (ať žijí kondicionály préterita! :D). V době vzniku firmy Symbolics měly 704ky "odpočítáno" nějakých dvacet pět let a 709ky dvacet let, a snad už všude byly nahrazeny novějšími systémy IBM. ;-)
Symbolics (ZetaLisp) se jako startup odštěpil z MIT, stejně jako LMI. Texas Instruments vyráběly vlastní stroje TI Explorer, co používaly dialekt odvozený od dialektu LMI, a Lisp (InterLisp-D) běžel nativně i na strojích Xeroxu, jen se přebootoval mikrokód ze Smalltalku na Lisp. ;-)