| changeset 66949 | 6c5e4ac0398b |
| parent 66937 | a1a4a5e2933a |
| child 66954 | 0230af0f3c59 |
--- a/NEWS Mon Oct 30 20:10:07 2017 +0100 +++ b/NEWS Mon Oct 30 20:12:10 2017 +0100 @@ -69,6 +69,10 @@ *** System *** +* Session ROOT entry: empty 'document_files' means there is no document +for this session. There is no need to specify options [document = false] +anymore. + * Linux and Windows/Cygwin is for x86_64 only. Old 32bit platform support has been discontinued.