Add some description of the +RTS -t/-s/-S output
authorIan Lynagh <igloo@earth.li>
Fri, 26 Sep 2008 20:02:03 +0000 (20:02 +0000)
committerIan Lynagh <igloo@earth.li>
Fri, 26 Sep 2008 20:02:03 +0000 (20:02 +0000)
commit6790af558efad6467b9ec0fc40f7a2e43d437fc7
tree8fd6abd70231e6b64c9230b81503e1da3f85d755
parent582a99f2042ed92aa557b0823fd49ac01716cf26
Add some description of the +RTS -t/-s/-S output
docs/users_guide/runtime_control.xml