Who is the legal owner? I never heard what the final resolution of the probate process was.
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.
According to a YouTube comment made 8 months ago by Kalman Reti — the 'last Symbolics developer'— Symbolics IP is owned by John Mallery.
"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."
I bought my MacIvory from David Schmidt about 4 years ago. At that time, it was my understanding that David only owned the maintenance contracts from Symbolics as well as the ability to sell Symbolics hardware. The intellectual property for Genera was owned by John Mallery (http://www.csail.mit.edu/user/926)
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.
[0] http://www.symbolics-dks.com/