From bb51499b118858728835066baa0556fa1b24ca78 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 17 Mar 2019 15:19:35 +0100 Subject: [PATCH] org: typos * doc/org/tut.org, doc/org/tut12.org: Here. --- doc/org/tut.org | 4 ++-- doc/org/tut12.org | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/org/tut.org b/doc/org/tut.org index 60b8f0344..d15063356 100644 --- a/doc/org/tut.org +++ b/doc/org/tut.org @@ -13,7 +13,7 @@ If you have difficulties compiling the C++ examples, check out [[file:compile.or instructions]]. Reading the [[file:concepts.org][concepts page]] might help if you are not familiar with some -of the objects manipulated here. +of the objects or concepts used here. * Examples with Shell, Python, and C++ @@ -25,7 +25,7 @@ three interfaces supported by Spot: shell commands, Python, or C++. - [[file:tut04.org][Testing the equivalence of two LTL formulas]] - [[file:tut10.org][Translating an LTL formula into a never claim]] - [[file:tut11.org][Translating an LTL formula into a monitor]] -- [[file:tut12.org][Working with LTL formula with finite semantics]] +- [[file:tut12.org][Working with LTL formulas with finite semantics]] - [[file:tut20.org][Converting a never claim into HOA]] - [[file:tut30.org][Converting Rabin (or Other) to Büchi, and simplifying it]] - [[file:tut31.org][Removing alternation]] diff --git a/doc/org/tut12.org b/doc/org/tut12.org index 10641558b..741053597 100644 --- a/doc/org/tut12.org +++ b/doc/org/tut12.org @@ -1,5 +1,5 @@ # -*- coding: utf-8 -*- -#+TITLE: Working with LTL formula with finite semantics +#+TITLE: Working with LTL formulas with finite semantics #+DESCRIPTION: Code example for using Spot to translate LTLf formulas #+INCLUDE: setup.org #+HTML_LINK_UP: tut.html