Last year the Shen project became a privately funded closed source applicat=
ion.  The result being that the project has moved much faster than it has d=
one in the past.  Shen Professional (SP) is the result.=20

SP moved to the cloud last month and is now updated over the web.  Help fac=
ilities are now appearing online for users.  Advances in the last year incl=
ude full concurrency, graphics, an improved compiler, an effective procedur=
e for translating Shen programs to typed second order logic, and packages f=
or generating type secure web content.=20

I'll post details of these features from time to time as the documentation =
becomes available online.=20

Mark