From 5c7e3efbc3bfe489d3233309449a43a0fdf51195 Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Mon, 14 Feb 2011 21:20:35 +0100
Subject: bugfix: readline wrapper; bugfix: evaluation of type conversions

---
 doc/lib.txt     | 11 +++++++++++
 doc/nimrodc.txt |  2 +-
 2 files changed, 12 insertions(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/lib.txt b/doc/lib.txt
index cefb1a1fe..a082383da 100755
--- a/doc/lib.txt
+++ b/doc/lib.txt
@@ -271,6 +271,10 @@ Other
   This module provides an easy to use sockets-style 
   Nimrod interface to the OpenSSL library.
 
+* `rdstdin <rdstdin.html>`_
+  This module contains code for reading from `stdin`:idx:. On UNIX the GNU
+  readline library is wrapped and set up.
+
 
 Wrappers
 ========
@@ -339,6 +343,13 @@ UNIX specific
 * `xvlib <xvlib.html>`_
   Part of the wrapper for X11.
 
+* `readline <readline.html>`_
+  Part of the wrapper for the GNU readline library.
+* `history <history.html>`_
+  Part of the wrapper for the GNU readline library.
+* `rltypedefs <rltypedefs.html>`_
+  Part of the wrapper for the GNU readline library.
+
 
 Regular expressions
 -------------------
diff --git a/doc/nimrodc.txt b/doc/nimrodc.txt
index a712d109b..c8cbbaa73 100755
--- a/doc/nimrodc.txt
+++ b/doc/nimrodc.txt
@@ -238,7 +238,7 @@ The Nimrod compiler supports an `interactive mode`:idx:. This is also known as
 a `REPL`:idx: (*read eval print loop*). If Nimrod has been built with the 
 ``-d:useGnuReadline`` switch, it uses the GNU readline library for terminal
 input management. To start Nimrod in interactive mode use the command 
-``nimrod i``. To quit use the ``quit()` command. To determine whether an input
+``nimrod i``. To quit use the ``quit()`` command. To determine whether an input
 line is an incomplete statement to be continued these rules are used:
 
 1. The line ends with ``[-+*/\\<>!\?\|%&$@~,;:=#^]\s*$``.
-- 
cgit 1.4.1-2-gfad0