From 43218c8df3687ff1c7fe732947c8a5b7b5155648 Mon Sep 17 00:00:00 2001 From: Jose Antonio Ortega Ruiz Date: Tue, 21 Dec 2010 16:15:16 +0100 Subject: Documentation helpers --- doc/intro.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/intro.texi') diff --git a/doc/intro.texi b/doc/intro.texi index f26fa7b..b2f5017 100644 --- a/doc/intro.texi +++ b/doc/intro.texi @@ -77,7 +77,7 @@ Listings of identifiers exported by a given module. Listings of callers/callees of procedures. @item Rudimentary support for debugging (when the REPL provides a -debugging) and error navigation. +debugger) and error navigation. @item Support for multiple, simultaneous REPLs. @end itemize -- cgit v1.2.3