I'm sure he left for "personal reasons" :-) But more seriously yes he left in 1990 per Wikipedia. I disliked his marketing claims of 'firsts' for Apple things that were shipping on the Amiga but certainly respected what he tried to achieve with BeOS.