MPS issue job000540

TitleReference manual symbol coverage needs reorganizing
Statusclosed
Priorityessential
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionThe MPS reference manual is just a giant concatenation of references, one for each symbol, in approximate alphabetical order. Although it is essential to be able to find documentation given a symbol, this is not the best way. Reference documentation for related symbols should be together (e.g. mps_ap_frame_pop and mps_ap_frame_push), and the manual should probably have separate pages for separate groups of symbols. The manual index can link to the appropriate page for every symbol (and have an anchor for each symbol). See also job000539.
AnalysisI think we should model ourselves on Unix man pages.
How foundinspection
EvidenceI just know
Observed in1.100.0
Introduced in1.100.0
Created byNick Barnes
Created on2002-06-21 11:51:59
Last modified byGareth Rees
Last modified on2012-10-19 18:09:10
History2002-06-21 NB Created.
2012-10-17 GDR Assigned to GDR.

Fixes

Change Effect Date User Description
179974 closed 2012-10-19 18:09:10 Gareth Rees Distribute symbol reference into the topics.