changeset 71149 | a7d1fb0c9e16 |
parent 71147 | 2e46c0b4042d |
child 71150 | 9e7d40d67258 |
--- a/NEWS Fri Nov 22 09:24:54 2019 +0000 +++ b/NEWS Fri Nov 22 09:25:01 2019 +0000 @@ -87,6 +87,9 @@ procedure for simple linear statements in metric spaces. +* Word: Bitwise NOT-operator has proper prefix syntax. Minor +INCOMPATIBILITY. + *** ML *** * Theory construction may be forked internally, the operation