updated documentation to use new repl `>` instead of `:-`.

diff --git a/src/Dyna/Backend/Python/load/matrix.py b/src/Dyna/Backend/Python/load/matrix.py
index cdc20d5d7dcdac9b7f7c026f287db76ee9cc5fe5..6b334b9117d33c61d13f7e631b7f162820ed9696 100644 (file)
--- a/src/Dyna/Backend/Python/load/matrix.py
+++ b/src/Dyna/Backend/Python/load/matrix.py
@@ -11,8 +11,8 @@ class matrix(object):
     $ echo       >> /tmp/foo
     $ echo 6 7   >> /tmp/foo
 
-    :- load m = matrix("/tmp/foo")
-    :- sol
+    > load m = matrix("/tmp/foo")
+    > sol
 
     Solution
     ========
@@ -31,8 +31,8 @@ class matrix(object):
     different type simple passing a function which will convert strings to the
     appropriate time (e.g. str, int, float).
 
-    :- load m = matrix("/tmp/foo", astype=str)
-    :- sol
+    > load m = matrix("/tmp/foo", astype=str)
+    > sol
 
     Solution
     ========

diff --git a/src/Dyna/Backend/Python/load/sexpr.py b/src/Dyna/Backend/Python/load/sexpr.py
index 3b7b437051c6fb988059ef649959e20400119d07..da7dd6f2fdb5fd553caa99ac18ab05a165e25117 100644 (file)
--- a/src/Dyna/Backend/Python/load/sexpr.py
+++ b/src/Dyna/Backend/Python/load/sexpr.py
@@ -8,8 +8,8 @@ class sexpr(object):
 
     $ echo '(a (b c) (d e)) (a b (c))' > /tmp/foo
     $ ./dyna
-    :- load trees = sexpr("/tmp/foo")
-    :- sol
+    > load trees = sexpr("/tmp/foo")
+    > sol
 
     Solution
     ========

diff --git a/src/Dyna/Backend/Python/load/tsv.py b/src/Dyna/Backend/Python/load/tsv.py
index d5886a4b8e45d6c2889daf81ef25e826e943ea0c..de52279c18bdb236c8ea2908f7420cbf371b1970 100644 (file)
--- a/src/Dyna/Backend/Python/load/tsv.py
+++ b/src/Dyna/Backend/Python/load/tsv.py
@@ -9,8 +9,8 @@ class tsv(object):
     """
     Load tab-delimited files.
 
-    :- load row = tsv("test/repl/english.gr")
-    :- sol
+    > load row = tsv("test/repl/english.gr")
+    > sol
     row/4
     =====
     row(0,"0","S","NP VP")         => true.

diff --git a/src/Dyna/Backend/Python/repl.py b/src/Dyna/Backend/Python/repl.py
index 2b4757397aeb8b94d282bb2fd8f7ffd84579c773..263dcedc7cf0297412875825f1f5e9df2da044a1 100644 (file)
--- a/src/Dyna/Backend/Python/repl.py
+++ b/src/Dyna/Backend/Python/repl.py
@@ -284,8 +284,8 @@ class REPL(cmd.Cmd, object):
 #
 #        For example,
 #
-#            : subscribe f(X,X)
-#            :- f(1,1) := 1. f(1,2) := 2. f(2,2) := 3.
+#            > subscribe f(X,X)
+#            > f(1,1) := 1. f(1,2) := 2. f(2,2) := 3.
 #            Changes
 #            =======
 #            f(X,X):
@@ -293,7 +293,7 @@ class REPL(cmd.Cmd, object):
 #
 #        To view all subscriptions:
 #
-#            :- subscriptions
+#            > subscriptions
 #            f(X):
 #               1 where {X=1}
 #               2 where {X=2}
@@ -344,12 +344,12 @@ class REPL(cmd.Cmd, object):
         For more information about a particular loader type the following (in
         this case we get help for the `tsv` loader):
 
-            :- help load tsv
+            > help load tsv
 
         Examples:
 
-        :- load data = tsv("examples/data/data.csv", delim=',')
-        :- sol
+        > load data = tsv("examples/data/data.csv", delim=',')
+        > sol
         Solution
         ========
         data/3
@@ -379,7 +379,7 @@ class REPL(cmd.Cmd, object):
         For more information about a particular post processor (in this case
         `save`)
 
-            :- help post save
+            > help post save
 
         """
         try:
@@ -396,21 +396,21 @@ class REPL(cmd.Cmd, object):
 
         We'll start with something very simple:
 
-            :- a :- b.
-            :- b :- c.
-            :- c.
+            > a :- b.
+            > b :- c.
+            > c.
 
 
         In our solution we see that `a` is true.
 
-            :- sol
+            > sol
             a => true.
             b => true.
             c => true.
 
         Now we want to find out why
 
-            :- trace a
+            > trace a
 
             a => true
             |
@@ -459,7 +459,7 @@ class REPL(cmd.Cmd, object):
         The way trace lets you know that it has omitted something is with a
         message `item: shared structure see above` or `item: *cycle*`.
 
-          :- trace bar(10,10)
+          > trace bar(10,10)
 
           bar(10,10) => 220
           |
@@ -479,7 +479,7 @@ class REPL(cmd.Cmd, object):
              |
              └─ foo(10): shared structure see above
 
-          :- trace a
+          > trace a
 
           a => 2.0
           |