update README.md

diff --git a/README.md b/README.md
index acfe955471016a8348638db92e7cbec367b5cef5..14c835bc2c7b1a7710a96cd01140094cd5aaafb9 100644 (file)
--- a/README.md
+++ b/README.md
@@ -39,9 +39,9 @@ Extend Scryer Prolog to include the following, among other features:
 - [x] Attributed variables using the SICStus Prolog interface and
       semantics. Adding coroutines like `dif/2`, `freeze/2`, etc.
       is straightforward with attributed variables.
-      ... * [x] Support for `verify_attributes/3`
-      ... * [x] Support for `attribute_goals/2` and `project_attributes/2`
-      ... * [x] `call_residue_vars/2`
+  - [x] Support for `verify_attributes/3`
+  - [x] Support for `attribute_goals/2` and `project_attributes/2`
+  - [x] `call_residue_vars/2`
 - [x] `if_` and related predicates, following the developments of the
       paper "Indexing `dif/2`".
 - [x] All-solutions predicates (`findall/{3,4}`, `bagof/3`, `setof/3`, `forall/2`).