From 270b18ebdb5c9515d6bc427e06b0767696e7fd0e Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 15 Mar 2017 13:29:51 +0100 Subject: [PATCH] * doc/org/tut11.org: Typo in title. --- doc/org/tut11.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/org/tut11.org b/doc/org/tut11.org index beb9433ec..703664a73 100644 --- a/doc/org/tut11.org +++ b/doc/org/tut11.org @@ -1,5 +1,5 @@ # -*- coding: utf-8 -*- -#+TITLE: Translating an LTL formula into a monitors +#+TITLE: Translating an LTL formula into a monitor #+DESCRIPTION: Code example for using Spot to translating formulas in monitors #+SETUPFILE: setup.org #+HTML_LINK_UP: tut.html