@cutting @larsbrinkhoff @amszmidt @shapr
I had used a Dolphin in the early 80s, but never a Dorado.
My impression was they went crazy with ECL technology chips to implement it. But it still wasn't completely reliable because it was full of race conditions?
(Memory from the early 1980s, so not the most reliable memory. Also, I never liked Interlisp, so I may have some remaining prejudice in the matter.)