branch: scratch/ediprolog
commit 4b265d2fb585528a8ef470ee86c0c8c103bbe09d
Author: Markus Triska <[email protected]>
Commit: Markus Triska <[email protected]>
add a note distinguishing buffer content and file
---
README.md | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/README.md b/README.md
index 23b8cbe7b6..3d26a28300 100644
--- a/README.md
+++ b/README.md
@@ -43,9 +43,10 @@ When waiting for output of the Prolog process, you can press
C-g to
unblock Emacs and continue with other work. To resume interaction
with the Prolog process, use **M-x ediprolog-toplevel RET**.
-If you press F10 when point is *not* on a query, the buffer content
-is consulted in the Prolog process, and point is moved to the first
-error (if any).
+If you press F10 when point is *not* on a query, the buffer content is
+consulted in the Prolog process, and point is moved to the first error
+(if any). Note that you do *not* need to *save* the file, since
+it is the *buffer content* (not the file) that is consulted.
For convenience, the most recent interactions with the Prolog
process are logged in the buffer `*ediprolog-history*`.
