Home Download Shen Learn Shen Community OS Wiki

OS Library About Us Videos Shen Professional Contact

News 2016

August 2016

Shen Professional 10 moves into the cloud and acquires graphics.

June 2016

Shen Professional includes provision for large scale file handling. Shen is ported to CLR.

May 2016

Shen Professional includes a computably effective axiomatic semantics P 
for generating formal descriptions of Shen programs in second-order logic.

April 2016

Shen Professional supports SML 1.0.  Shen Markup Language generates
HTML from type secure Shen.

March 2016

Shen Professional supports full concurrency - communicating parallel
processes with local state.

February 2016

Shen Professional supports non-communicating parallel processes.