[m-rev.] diff: write_as_doc

[Zoltan Somogyi]

This should not need review.

The new functionality has no test case, but I already have code
in another workspace that uses it and tests it, which should be
ready for commit in a few days.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.pp
Type: application/octet-stream
Size: 442 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20220824/85e5a0e7/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.pp
Type: application/octet-stream
Size: 28213 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20220824/85e5a0e7/attachment-0003.obj>