From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 29 Oct 2016 02:00:44 +0000 (-0600)
Subject: add linebreaks
X-Git-Tag: v0.8.110~795
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5079728dbf13c7bd139192896473ee931956c783;p=scryer-prolog.git

add linebreaks
---

diff --git a/README.md b/README.md
index db90e5c2..48ee64e8 100644
--- a/README.md
+++ b/README.md
@@ -14,31 +14,32 @@ 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
+```
+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