From c44b1587163ea67f518205ad91afbb4788811635 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 25 Jan 2015 12:03:15 +0100 Subject: [PATCH] org: declare utf8 everwhere and fix some typos * doc/org/autfilt.org, doc/org/csv.org, doc/org/dstar2tgba.org, doc/org/genltl.org, doc/org/ioltl.org, doc/org/ltl2tgba.org, doc/org/ltlfilt.org, doc/org/ltlgrind.org, doc/org/oaut.org, doc/org/randaut.org, doc/org/tools.org: Update. --- doc/org/autfilt.org | 1 + doc/org/csv.org | 1 + doc/org/dstar2tgba.org | 1 + doc/org/genltl.org | 1 + doc/org/ioltl.org | 1 + doc/org/ltl2tgba.org | 1 + doc/org/ltlfilt.org | 1 + doc/org/ltlgrind.org | 1 + doc/org/oaut.org | 7 ++++--- doc/org/randaut.org | 1 + doc/org/tools.org | 1 + 11 files changed, 14 insertions(+), 3 deletions(-) diff --git a/doc/org/autfilt.org b/doc/org/autfilt.org index 7ddbc7592..c62de09ca 100644 --- a/doc/org/autfilt.org +++ b/doc/org/autfilt.org @@ -1,3 +1,4 @@ +# -*- coding: utf-8 -*- #+TITLE: =autfilt= #+SETUPFILE: setup.org #+HTML_LINK_UP: tools.html diff --git a/doc/org/csv.org b/doc/org/csv.org index 16ea5102f..6ae9cc65b 100644 --- a/doc/org/csv.org +++ b/doc/org/csv.org @@ -1,3 +1,4 @@ +# -*- coding: utf-8 -*- #+TITLE: Reading and writing CSV files #+SETUPFILE: setup.org #+HTML_LINK_UP: tools.html diff --git a/doc/org/dstar2tgba.org b/doc/org/dstar2tgba.org index ff22815bb..1a59c5d64 100644 --- a/doc/org/dstar2tgba.org +++ b/doc/org/dstar2tgba.org @@ -1,3 +1,4 @@ +# -*- coding: utf-8 -*- #+TITLE: =dstar2tgba= #+SETUPFILE: setup.org #+HTML_LINK_UP: tools.html diff --git a/doc/org/genltl.org b/doc/org/genltl.org index 9105d61c4..026872a9f 100644 --- a/doc/org/genltl.org +++ b/doc/org/genltl.org @@ -1,3 +1,4 @@ +# -*- coding: utf-8 -*- #+TITLE: =genltl= #+SETUPFILE: setup.org #+HTML_LINK_UP: tools.html diff --git a/doc/org/ioltl.org b/doc/org/ioltl.org index 9062cc4d0..f13fd3fd1 100644 --- a/doc/org/ioltl.org +++ b/doc/org/ioltl.org @@ -1,3 +1,4 @@ +# -*- coding: utf-8 -*- #+TITLE: Common input and output options for LTL/PSL formulas #+SETUPFILE: setup.org #+HTML_LINK_UP: tools.html diff --git a/doc/org/ltl2tgba.org b/doc/org/ltl2tgba.org index 3bb93a0ec..702cb1d69 100644 --- a/doc/org/ltl2tgba.org +++ b/doc/org/ltl2tgba.org @@ -1,3 +1,4 @@ +# -*- coding: utf-8 -*- #+TITLE: =ltl2tgba= #+SETUPFILE: setup.org #+HTML_LINK_UP: tools.html diff --git a/doc/org/ltlfilt.org b/doc/org/ltlfilt.org index 20cab6b7e..408404d83 100644 --- a/doc/org/ltlfilt.org +++ b/doc/org/ltlfilt.org @@ -1,3 +1,4 @@ +# -*- coding: utf-8 -*- #+TITLE: =ltlfilt= #+SETUPFILE: setup.org #+HTML_LINK_UP: tools.html diff --git a/doc/org/ltlgrind.org b/doc/org/ltlgrind.org index 942e32d52..d1729f737 100644 --- a/doc/org/ltlgrind.org +++ b/doc/org/ltlgrind.org @@ -1,3 +1,4 @@ +# -*- coding: utf-8 -*- #+TITLE: =ltlgrind= #+SETUPFILE: setup.org #+HTML_LINK_UP: tools.html diff --git a/doc/org/oaut.org b/doc/org/oaut.org index 123f0f2bc..fa1186050 100644 --- a/doc/org/oaut.org +++ b/doc/org/oaut.org @@ -1,3 +1,4 @@ +# -*- coding: utf-8 -*- #+TITLE: Common output options for automata #+SETUPFILE: setup.org #+HTML_LINK_UP: tools.html @@ -110,7 +111,7 @@ State: 4 --END-- #+end_example -The above output contains to automata, named after the formulas they +The above output contains two automata, named after the formulas they represent. Here is a picture of these two automata: #+NAME: hoafex @@ -776,10 +777,10 @@ autfilt --states=3 --stats=%M -n5 : !b & X(!b U a) Note that the above result can also be obtained without using -=autfilt= and automata name. We can use the fact that =ltl2tgba +=autfilt= and automata names. We can use the fact that =ltl2tgba --stats= can output the automaton size, and that =ltl2tgba= is also capable of [[file:csv.org][reading from a CSV file]] (=-F-/2= instructs =ltl2tgba= to -read the standard input as if it was a CSV file, and process its +read the standard input as if it was a CSV file, and to process its second column): #+BEGIN_SRC sh :results verbatim :exports both diff --git a/doc/org/randaut.org b/doc/org/randaut.org index 7e23f2510..a6488de3c 100644 --- a/doc/org/randaut.org +++ b/doc/org/randaut.org @@ -1,3 +1,4 @@ +# -*- coding: utf-8 -*- #+TITLE: =randaut= #+SETUPFILE: setup.org #+HTML_LINK_UP: tools.html diff --git a/doc/org/tools.org b/doc/org/tools.org index 973521035..0f6d3e5c8 100644 --- a/doc/org/tools.org +++ b/doc/org/tools.org @@ -1,3 +1,4 @@ +# -*- coding: utf-8 -*- #+TITLE: Command-line tools installed by Spot 1.99 #+SETUPFILE: setup.org