Shen Professional & type secure graphics: a screen shot preview

[Mark Tarver]

SP has got the basis of type secure graphics;  this is work in progress and the release will appear later in mid-summer.  There is a screen shot showing my working with a graphical proof assistant based on Lemmon's natural deduction.  

Mark