From bdfa2b39836a1b8dbe9ca8c2dfb025b32c684530 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 18 Oct 2017 14:59:29 +0200 Subject: [PATCH] org: improve wording * doc/org/tut04.org: This tests equivalence, not equality. --- doc/org/tut04.org | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/org/tut04.org b/doc/org/tut04.org index b4ced9a03..536eff066 100644 --- a/doc/org/tut04.org +++ b/doc/org/tut04.org @@ -4,7 +4,8 @@ #+SETUPFILE: setup.org #+HTML_LINK_UP: tut.html -This page shows how to test whether two LTL/PSL formulas are equal. +This page shows how to test whether two LTL/PSL formulas are +equivalent, i.e., if they denote the same languages. * Shell