10 moves into the cloud and acquires graphics.
includes provision for large scale file handling.
Professional includes a computably effective axiomatic
semantics P for generating formal descriptions of
Shen programs in second-order logic.
Professional supports SML 1.0. Shen Markup Language
generates HTML from type secure Shen.
Professional supports full concurrency - communicating parallel
processes with local state.
Professional supports non-communicating parallel processes.
Professional is launched - the project to build a commercial
closed-source version of Shen.
The Shen kernel