Documentation tweaking
commit6cc325d0c53f074054c645eae42f2305c01f6b4f
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Fri, 5 Nov 2010 02:15:15 +0000 (5 03:15 +0100)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Fri, 5 Nov 2010 02:15:15 +0000 (5 03:15 +0100)
tree7b073f35b5da26ed6aa3a98106d3cdb7e6ba09f5
parentcb4eaabc1e18b91f1f34899110edf62482163a5b
Documentation tweaking
doc/cheat.texi
doc/fun.texi
doc/geiser.texi
doc/repl.texi
doc/web.texi