From c1bfc5d59b08d31102302098adcd8abb18effee9 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 17 Nov 2015 18:18:50 +0100 Subject: [PATCH] doc: two typos * doc/mainpage.dox, doc/org/tut01.org: Here. --- doc/mainpage.dox | 2 +- doc/org/tut01.org | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/mainpage.dox b/doc/mainpage.dox index 4061d7c3c..d5b76d0a5 100644 --- a/doc/mainpage.dox +++ b/doc/mainpage.dox @@ -25,7 +25,7 @@ /// \li spot::twa Base class for Transition-based /// ω-Automata. /// \li spot::translator Convert a spot::formula into a -/// spot::tgba. +/// spot::twa. /// \li spot::kripke Base class for Kripke structures. /// \li spot::twa_product On-the-fly product of two spot::twa. /// \li spot::emptiness_check Base class for all emptiness-check algorithms diff --git a/doc/org/tut01.org b/doc/org/tut01.org index 5b19df569..a9c266f48 100644 --- a/doc/org/tut01.org +++ b/doc/org/tut01.org @@ -35,7 +35,7 @@ they are considered as atomic propositions in all the other syntaxes.) * Python bindings -Here are the same operation in Python +Here are the same operations in Python #+BEGIN_SRC python :results output :exports both import spot