SP 20 will require a new installation

51 views

Skip to first unread message

unread,

Aug 13, 2018, 4:13:54 PM8/13/18

to Shen

This is scheduled for this month. The changes made are too fundamental to be done through the cloud. SP users will be notified by me individually.

thanks

Mark

unread,

Aug 17, 2018, 7:18:16 AM8/17/18

to Shen

The new kernel works; I'm now testing the installation of the SP software on top of the new kernel.

Mark

unread,

Aug 17, 2018, 8:07:16 AM8/17/18

to Shen

It works; the type theory for Shen/tk is so big it needs to be split into two. One datatype of 575 lines in too large!