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

* doc/org/ioltl.org: Typo.

parent 3b7b5202
......@@ -3,8 +3,8 @@
#+OPTIONS: H:2 num:nil toc:t
#+LINK_UP: tools.html
Spot supports different syntaxes for LTL/PSL formulas. This pages
document the options, common to all tools where it makes sense, that
Spot supports different syntaxes for LTL/PSL formulas. This page
documents the options, common to all tools where it makes sense, that
are used to specify input and output of formula.
* Common input options
......
Markdown is supported
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