We had Symbolics Genera, not mentioned, and way better than anything else mentioned here, IMO.