using RDF Proofs

eyereasoner · Nov 4, 2024 · 1da3f73 · 1da3f73
1 parent cb0f516
commit 1da3f73
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 3 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v10.28.9 (2024-11-04) using RDF Proofs
 v10.28.8 (2024-11-03) using proofpackets instead of reasongraphs
 v10.28.7 (2024-11-02) using reasongraphs instead of rdfproof
 v10.28.6 (2024-10-31) fixing --rdf-trig-output (no duplicated output)

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-10.28.8
+10.28.9
diff --git a/eye.pl b/eye.pl
@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v10.28.8 (2024-11-03)').
+version_info('EYE v10.28.9 (2024-11-04)').
 
 license_info('MIT License
 
@@ -3648,7 +3648,7 @@
     (   answer('<http://www.w3.org/2000/10/swap/log#proves>', _, _)
     ->  nl,
         writeln('#'),
-        writeln('# proofpackets'),
+        writeln('# RDF Proofs'),
         writeln('#'),
         nl,
         (   answer('<http://www.w3.org/2000/10/swap/log#proves>', S, O),

diff --git a/eye.zip b/eye.zip