From e037a48d7a78c97b721db3af8f20b550fe2fac5b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Mon, 15 Aug 2016 01:21:13 +0200 Subject: [PATCH] Documentation changes suggested by O. Andreescu. Thanks! --- scribblings/repltest.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scribblings/repltest.scrbl b/scribblings/repltest.scrbl index 67852d4..6065839 100644 --- 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}