From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 7 Apr 2019 16:09:01 +0000 (-0600)
Subject: update README.md
X-Git-Tag: v0.8.110~109
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0579ad6cfafe3b129cdb315df0aa6bc6d509b740;p=scryer-prolog.git

update README.md
---

diff --git a/README.md b/README.md
index acfe9554..14c835bc 100644
--- 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`).