Commit d597c581 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

org: improve wording

* doc/org/tut04.org: This tests equivalence, not equality.
parent 1a0dcf4f
......@@ -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
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment