Commit bb51499b authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

org: typos

* doc/org/, doc/org/ Here.
parent 936990a4
......@@ -13,7 +13,7 @@ If you have difficulties compiling the C++ examples, check out [[file:compile.or
Reading the [[][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++.
- [[][Testing the equivalence of two LTL formulas]]
- [[][Translating an LTL formula into a never claim]]
- [[][Translating an LTL formula into a monitor]]
- [[][Working with LTL formula with finite semantics]]
- [[][Working with LTL formulas with finite semantics]]
- [[][Converting a never claim into HOA]]
- [[][Converting Rabin (or Other) to Büchi, and simplifying it]]
- [[][Removing alternation]]
# -*- 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
#+HTML_LINK_UP: tut.html
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment