| Sun, 11 Apr 2021 22:47:55 +0200 | wenzelm | more uniform use of Byte_Message; | file | diff | annotate |
| Sun, 29 Mar 2020 12:11:02 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Sat, 02 Nov 2019 12:02:27 +0100 | wenzelm | more scalable protocol_message: use XML.body directly (Output.output hook is not required); | file | diff | annotate |
| Sat, 18 Mar 2017 12:46:52 +0100 | wenzelm | restore output channels after shutdown, e.g. relevant for saved heap; | file | diff | annotate |
| Sat, 09 Apr 2016 19:38:25 +0200 | wenzelm | proper output of markup, e.g. relevant for nested ML as used in Pure/System/bash.ML; | file | diff | annotate |
| Sat, 09 Apr 2016 16:16:05 +0200 | wenzelm | shared output primitives of physical/virtual Pure; | file | diff | annotate |