[m-rev.] for post-commit review: require_switch_arms_{det,...}

[Zoltan Somogyi]

As promised, here is the proposed documentation.
For review by everyone.

Zoltan.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.doc_arms_det
Type: application/octet-stream
Size: 125 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20141116/e670578f/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.doc_arms_det
Type: application/octet-stream
Size: 5046 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20141116/e670578f/attachment-0001.obj>