From 5497bef3d062c5a717c4dc4e7b4bed08c46a1468 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 3 Jan 2015 22:36:06 +0100 Subject: [PATCH] * doc/org/ioltl.org: Typo. --- doc/org/ioltl.org | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/org/ioltl.org b/doc/org/ioltl.org index e4eb7d75c..51e772c6a 100644 --- a/doc/org/ioltl.org +++ b/doc/org/ioltl.org @@ -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