| Mon, 15 Nov 2021 11:38:14 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 14 Nov 2021 20:15:28 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 04 Sep 2021 20:01:43 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 12 Apr 2021 22:18:37 +0200 | wenzelm | unused; | file | diff | annotate |
| Sat, 10 Apr 2021 21:50:59 +0200 | wenzelm | more robust treatment of empty markup: it allows to produce formal chunks; | file | diff | annotate |
| Sat, 02 Nov 2019 13:25:58 +0100 | wenzelm | unused; | file | diff | annotate |
| Sat, 02 Nov 2019 12:33:38 +0100 | wenzelm | clarified signature; | 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 |
| Thu, 10 Oct 2019 16:51:47 +0200 | wenzelm | more compact XML representation; | file | diff | annotate |
| Thu, 14 Feb 2019 15:45:34 +0100 | wenzelm | tuned according to Scala version; | file | diff | annotate |
| Thu, 14 Feb 2019 14:44:41 +0100 | wenzelm | uniform XML header; | file | diff | annotate |
| Thu, 03 Jan 2019 12:34:26 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 25 Nov 2018 21:10:55 +0100 | wenzelm | tuned signature (see also src/Tools/Haskell/Markup.hs); | file | diff | annotate |
| Sun, 04 Nov 2018 17:19:56 +0100 | wenzelm | more Haskell operations; | file | diff | annotate |
| Sat, 03 Nov 2018 19:31:50 +0100 | wenzelm | tuned comments; | file | diff | annotate |