diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-07-19 22:26:14 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-07-19 22:26:14 +0200 |
| commit | fb58ec28796138f39bb74a3fde56ce134256a457 (patch) | |
| tree | b6cb9ef905061bd61169c7d5fc237367f1ef5e24 /doc/web.texi | |
| parent | 97b953d0bbf6162ab15ccff8af0b9891922ab491 (diff) | |
| download | geiser-fb58ec28796138f39bb74a3fde56ce134256a457.tar.gz geiser-fb58ec28796138f39bb74a3fde56ce134256a457.tar.bz2 | |
REPL: new doc bindings in tune with those in scheme buffers.
Diffstat (limited to 'doc/web.texi')
| -rw-r--r-- | doc/web.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/web.texi b/doc/web.texi index 0ae33a1..b09aae7 100644 --- a/doc/web.texi +++ b/doc/web.texi @@ -17,6 +17,7 @@ @end menu @html +<br/> <div class="navigation" align="right"> <a class="navlink" href="http://savannah.nongnu.org/news/?group=geiser">News</a> <a class="navlink" |