diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-09-04 21:17:12 +0200 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-09-04 21:17:12 +0200 |
commit | 8c71db0234142c3b45352773ab98e68b0bc7ad11 (patch) | |
tree | f6fe5ed2fb54d37cb3d4ff53b152859a1b43e3e5 /doc/geiser.texi | |
parent | 04420adfbae0e37207700ebe0aca01f92012adcf (diff) | |
download | geiser-8c71db0234142c3b45352773ab98e68b0bc7ad11.tar.gz geiser-8c71db0234142c3b45352773ab98e68b0bc7ad11.tar.bz2 |
REPL: (optionally) forget old errors on new expressions
Diffstat (limited to 'doc/geiser.texi')
-rw-r--r-- | doc/geiser.texi | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/doc/geiser.texi b/doc/geiser.texi index afd71e9..61e99fb 100644 --- a/doc/geiser.texi +++ b/doc/geiser.texi @@ -46,6 +46,8 @@ The document was typeset with @node Top, Introduction, (dir), (dir) @top Geiser +@include top.texi + @menu * Introduction:: * Installation:: @@ -81,7 +83,8 @@ The REPL * Starting the REPL:: * First aids:: * Switching context:: -* Let Geiser spy:: +* Completion and error handling:: +* Autodoc and friends:: * Customization and tips:: Fun between the parens @@ -96,19 +99,8 @@ Fun between the parens @end detailmenu @end menu -@include top.texi - @insertcopying -@menu -* Introduction:: -* Installation:: -* The REPL:: -* Fun between the parens:: -* Index:: - -@end menu - @end ifnottex @include intro.texi |