Ann: SP updates to 32.03, port 3.2

15 views

Skip to first unread message

unread,

Jul 30, 2022, 11:31:28 AM7/30/22

to Shen

SP has been updated to kernel 32.03, port 3.2.

The bug reported here in the compilation of sequent calculus has been fixed.

This is an interim version, due to the weight of patches from S30 to £32

I'm going to issue a clean image which will load more quickly.

Mark

Reply all

Reply to author

Forward

0 new messages