www

commit e037a48d7a78c97b721db3af8f20b550fe2fac5b
parent 8867c0b08ef7a110b33234785eceb9639268232f
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Mon, 15 Aug 2016 01:21:13 +0200

Documentation changes suggested by O. Andreescu. Thanks!

Diffstat:
M
scribblings/repltest.scrbl
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/scribblings/repltest.scrbl b/scribblings/repltest.scrbl
@@ -87,8 +87,8 @@ the expected output:
 @section{Warning concerning comments}
 
 Comments are not currently supported inside the REPL
-transcript. Also, the current version does not the first
-prompt being preceded by a comment.
+transcript. Also, the current version does not recognise the
+first prompt if it is preceded by a comment.
 
 @section{Warning concerning spaces and newlines}