From 4265ad95948281d6d878891396a1c6680f5f615a Mon Sep 17 00:00:00 2001 From: Ivan Herman Date: Tue, 15 Oct 2024 17:50:13 +0200 Subject: [PATCH] Update respec problem with variables and `@` Takes care of #184 --- index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/index.html b/index.html index e2d7209..de18152 100644 --- a/index.html +++ b/index.html @@ -1470,8 +1470,8 @@

Base Proof Configuration (bbs-2023)

PROOF_GENERATION_ERROR.
  • -Set |proofConfig|.|@context| to -|unsecuredDocument|.|@context|. +Set |proofConfig|.@context to +|unsecuredDocument|.@context.
  • Let |canonicalProofConfig| be the result of applying the RDF Dataset