From 529281f2a262ebaee1cbd1514b36de766270419e Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Wed, 20 Oct 2010 12:31:06 +0000 Subject: [PATCH] remove xref to hasktags --- docs/users_guide/ghci.xml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml index c2bceea..0b9771a 100644 --- a/docs/users_guide/ghci.xml +++ b/docs/users_guide/ghci.xml @@ -1943,8 +1943,7 @@ maybe :: b -> (a -> b) -> Maybe a -> b used, respectively. Tags for all the functions, constructors and types in the currently loaded modules are created. All modules must be interpreted for these commands to work. - See also . - + -- 1.7.10.4