EDITED to add:
Oh, I guess David Schmidt owns all of it now [0]: Symbolics is currently a privately held company which acquired the assets and intellectual property of the old public company called Symbolics, Inc.
"The problem is that the Symbolics IP is now owned by John Mallery; he has stated he has plans for making it available but so far (several years) has not yet done so. Until he does so, only two groups (that I am aware of) have access through prior contracts with the previous owner of the IP, namely MIT (and anyone officially associated with it) and customers of the Symbolics maintenance business (and independent company) run by David K. Schmidt."
http://www.youtube.com/comment?lc=iMqNHkTp2Oy525xIKnQM_vOmFV...