MPS issue job004142

TitleMPS sources contain links to private documents
Assigned userGareth Rees
DescriptionThe comments and design documents in the MPS master sources contain links to private e-mail messages and other documents. Some of these messages are important for understanding the code, and so it is important to make them available.
AnalysisReview messages for confidentiality and if not confidential then publish under project/mps/doc.

design/diag.txt [1] [2]
design/monitor.txt [3] [4]
code/trace.c [5]
code/zcoll.c [6]
procedure/release-build.rst [7]
manual/source/topic/format.rst [8]
How foundinspection
Created byGareth Rees
Created on2018-11-22 11:54:28
Last modified byGareth Rees
Last modified on2018-11-22 11:54:28
History2018-11-22 GDR Created.