MPS issue job000543

TitleNo MPS programmer's guide
Statusopen
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionThe MPS needs a programmer's guide, for people writing pool classes or otherwise adding code to the MPS. This would include an MPM reference manual and lots of examples.
AnalysisThere are some relevant documents in the old MMInfo, which can be redacted and imported, but this would mostly be a completely new document. See also job000537.
How foundinspection
EvidenceI just know
Observed in1.100.0
Introduced in1.100.0
Created byNick Barnes
Created on2002-06-21 11:57:37
Last modified byGareth Rees
Last modified on2013-05-27 19:38:09
History2002-06-21 NB Created.
2012-10-17 GDR Assigned to GDR.