Document the new +RTS -l options in the user guide
authorDuncan Coutts <duncan@well-typed.com>
Mon, 18 Jul 2011 19:16:00 +0000 (20:16 +0100)
committerDuncan Coutts <duncan@well-typed.com>
Mon, 18 Jul 2011 19:16:00 +0000 (20:16 +0100)
commit8f4f29f655fdda443861152a24588fcaba29b168
tree039d717da2877c7000ff7dd1058e5a920460fc34
parentb0935476b64b4818e4b5653c756c648623753fd3
Document the new +RTS -l options in the user guide
docs/users_guide/runtime_control.xml