Document the behavior of "info!".
authorIavor S. Diatchki <iavor.diatchki@gmail.com>
Wed, 19 Dec 2012 00:21:54 +0000 (16:21 -0800)
committerIavor S. Diatchki <iavor.diatchki@gmail.com>
Wed, 19 Dec 2012 00:21:54 +0000 (16:21 -0800)
commit909d52e20405bf18b5fb337e64318112bb553cd8
treecca787444d56f872c8bfcc26bb15711e7372e17c
parenta006ecdfd381fa75ab16ddb66c3a2b247f359eb8
Document the behavior of "info!".
docs/users_guide/ghci.xml