From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 29 Oct 2016 01:57:43 +0000 (-0600)
Subject: add linebreaks
X-Git-Tag: v0.8.110~798
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2227f10d459a1492df702bc565484ab9895c0de3;p=scryer-prolog.git

add linebreaks
---

diff --git a/README.md b/README.md
index b4d1dc79..7e929faf 100644
--- a/README.md
+++ b/README.md
@@ -14,30 +14,30 @@ atoms are currently supported.
 
 An example of the level of interaction currently supported is:
 
-`l0> p(Z, Z).`  
-`Program stored.`  
-`l0> ?- p(Z, Z).`  
-`yes`  
-`l0> ?- p(Z, z).`  
-`yes`  
-`l0> ?- p(Z, w).`  
-`yes`  
-`l0> ?- p(z, w).`  
-no  
-`l0> ?- p(w, w).`  
-`yes`  
-`l0> ?- p(Z, w).`  
-`yes`  
-`l0> ?- p(Z, h(Z, W), f(W)).`  
-`no`  
-`l0> p(Z, h(Z, W), f(W)).`  
-`Program stored.`  
-`l0> ?- p(z, h(z, z), f(w)).`  
-`no`  
-`l0> ?- p(z, h(z, w), f(w)).`  
-`yes`  
-`l0> ?- p(Z, h(z, W), f(w)).`  
-`yes`  
-`l0> ?- p(z, h(Z, w), f(w)).`  
-`yes`  
-`l0> quit`
\ No newline at end of file
+`  l0> p(Z, Z).
+   Program stored.  
+   l0> ?- p(Z, Z).  
+   yes  
+   l0> ?- p(Z, z).  
+   yes  
+   l0> ?- p(Z, w).  
+   yes  
+   l0> ?- p(z, w).  
+   no  
+   l0> ?- p(w, w).  
+   yes  
+   l0> ?- p(Z, w).  
+   yes  
+   l0> ?- p(Z, h(Z, W), f(W)).  
+   no  
+   l0> p(Z, h(Z, W), f(W)).  
+   Program stored.  
+   l0> ?- p(z, h(z, z), f(w)).  
+   no  
+   l0> ?- p(z, h(z, w), f(w)).  
+   yes  
+   l0> ?- p(Z, h(z, W), f(w)).  
+   yes  
+   l0> ?- p(z, h(Z, w), f(w)).  
+   yes  
+   l0> quit`
\ No newline at end of file