diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-21 16:15:16 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-21 16:15:16 +0100 |
| commit | 43218c8df3687ff1c7fe732947c8a5b7b5155648 (patch) | |
| tree | c20517aa9b920dc2ae4bcc8c321365368b263b58 /doc/intro.texi | |
| parent | bdf896d9b230335a3e3f6988c922baa45f015a98 (diff) | |
| download | geiser-43218c8df3687ff1c7fe732947c8a5b7b5155648.tar.gz geiser-43218c8df3687ff1c7fe732947c8a5b7b5155648.tar.bz2 | |
Documentation helpers
Diffstat (limited to 'doc/intro.texi')
| -rw-r--r-- | doc/intro.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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 |