From b2569c27ca3920677133b7b00fc9a1586b3e31dc Mon Sep 17 00:00:00 2001 From: william-vw Date: Mon, 13 Nov 2023 09:35:34 -0500 Subject: [PATCH] add shorthand table --- reports/20230703/index.html | 3 +-- spec/index.html | 3 +-- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/reports/20230703/index.html b/reports/20230703/index.html index bf03686..c09c412 100644 --- a/reports/20230703/index.html +++ b/reports/20230703/index.html @@ -1908,8 +1908,7 @@

Syntax shorthands

<= - <http://www.w3.org/2000/10/swap/log#implies> but in - the inverse direction + <http://www.w3.org/2000/10/swap/log#impliedBy> diff --git a/spec/index.html b/spec/index.html index 04983cf..42a26f5 100644 --- a/spec/index.html +++ b/spec/index.html @@ -1879,8 +1879,7 @@

Syntax shorthands

<= - <http://www.w3.org/2000/10/swap/log#implies> but in - the inverse direction + <http://www.w3.org/2000/10/swap/log#impliedBy>