Fix DocBook formatting
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 22 Aug 2011 11:17:34 +0000 (12:17 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 22 Aug 2011 11:17:34 +0000 (12:17 +0100)
commit1ed5fabe2fb79bf131636b49c22f8a70340fe0cd
tree5725b9a88bc58af972ac3f70727abc1ed72c9539
parent0f996392cf844592addde3404a94f567e2acc4ba
Fix DocBook formatting
docs/users_guide/ghci.xml