changeset 72581 | de581f98a3a1 |
parent 72574 | d892f6d66402 |
child 72600 | 2fa4f25d9d07 |
--- a/NEWS Wed Nov 11 23:06:27 2020 +0100 +++ b/NEWS Thu Nov 12 09:06:44 2020 +0100 @@ -171,6 +171,9 @@ - Use veriT in proof preplay. - Take adventage of more cores in proof preplay. +* Syntax for state monad combinators fcomp and scomp is organized in +bundle state_combinator_syntax. Minor INCOMPATIBILITY. + *** FOL ***