Commit 270b18eb authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

* doc/org/tut11.org: Typo in title.

parent 3d3baf44
# -*- 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
......
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