changeset 72607 | feebdaa346e5 |
parent 72600 | 2fa4f25d9d07 |
child 72678 | 418dfce5533f |
--- a/NEWS Sun Nov 15 07:17:05 2020 +0000 +++ b/NEWS Sun Nov 15 07:17:06 2020 +0000 @@ -179,6 +179,9 @@ * Syntax for state monad combinators fcomp and scomp is organized in bundle state_combinator_syntax. Minor INCOMPATIBILITY. +* Syntax for reflected term syntax is organized in bundle term_syntax, +discontinuing previous locale term_syntax. Minor INCOMPATIBILITY. + *** FOL ***