diff --git a/doc/org/autfilt.org b/doc/org/autfilt.org index 435220ecf..5b7301d2f 100644 --- a/doc/org/autfilt.org +++ b/doc/org/autfilt.org @@ -1,5 +1,5 @@ #+TITLE: =autfilt= -#+EMAIL spot@lrde.epita.fr +#+EMAIL: spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t #+LINK_UP: tools.html diff --git a/doc/org/csv.org b/doc/org/csv.org index 14a5e56d4..5a64e6e11 100644 --- a/doc/org/csv.org +++ b/doc/org/csv.org @@ -1,5 +1,5 @@ #+TITLE: Reading and writing CSV files -#+EMAIL spot@lrde.epita.fr +#+EMAIL: spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t #+LINK_UP: tools.html diff --git a/doc/org/dstar2tgba.org b/doc/org/dstar2tgba.org index 543c2d22b..23c7c546e 100644 --- a/doc/org/dstar2tgba.org +++ b/doc/org/dstar2tgba.org @@ -1,5 +1,5 @@ #+TITLE: =dstar2tgba= -#+EMAIL spot@lrde.epita.fr +#+EMAIL: spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t #+LINK_UP: tools.html diff --git a/doc/org/genltl.org b/doc/org/genltl.org index 9a6428f7b..dcefa1255 100644 --- a/doc/org/genltl.org +++ b/doc/org/genltl.org @@ -1,5 +1,5 @@ #+TITLE: =genltl= -#+EMAIL spot@lrde.epita.fr +#+EMAIL: spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t #+LINK_UP: tools.html diff --git a/doc/org/ioltl.org b/doc/org/ioltl.org index 51e772c6a..988b7c614 100644 --- a/doc/org/ioltl.org +++ b/doc/org/ioltl.org @@ -1,5 +1,5 @@ #+TITLE: Common input and output options for LTL/PSL formulas -#+EMAIL spot@lrde.epita.fr +#+EMAIL: spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t #+LINK_UP: tools.html @@ -67,7 +67,7 @@ atomic proposition, it could be written #+HTML: "GFa" . -These double-quote string also make it possible to embed arbitrarily +These double-quote strings also make it possible to embed arbitrarily complex expressions that represent an atomic proposition that Spot should not try to interpret. For instance: : "a < b" U "process[2]@ok" diff --git a/doc/org/ltl2tgba.org b/doc/org/ltl2tgba.org index 52ea8e95a..ee4d5acb3 100644 --- a/doc/org/ltl2tgba.org +++ b/doc/org/ltl2tgba.org @@ -1,5 +1,5 @@ #+TITLE: =ltl2tgba= -#+EMAIL spot@lrde.epita.fr +#+EMAIL: spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t #+LINK_UP: tools.html diff --git a/doc/org/ltl2tgta.org b/doc/org/ltl2tgta.org index 2b6c3e0be..1a1eb903a 100644 --- a/doc/org/ltl2tgta.org +++ b/doc/org/ltl2tgta.org @@ -1,5 +1,5 @@ #+TITLE: =ltl2tgta= -#+EMAIL spot@lrde.epita.fr +#+EMAIL: spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t #+LINK_UP: tools.html diff --git a/doc/org/ltlcross.org b/doc/org/ltlcross.org index efb66370c..1e73b087d 100644 --- a/doc/org/ltlcross.org +++ b/doc/org/ltlcross.org @@ -1,5 +1,5 @@ #+TITLE: =ltlcross= -#+EMAIL spot@lrde.epita.fr +#+EMAIL: spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t #+LINK_UP: tools.html diff --git a/doc/org/ltlfilt.org b/doc/org/ltlfilt.org index f3cf4ab66..8094c8686 100644 --- a/doc/org/ltlfilt.org +++ b/doc/org/ltlfilt.org @@ -1,5 +1,5 @@ #+TITLE: =ltlfilt= -#+EMAIL spot@lrde.epita.fr +#+EMAIL: spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t #+LINK_UP: tools.html diff --git a/doc/org/ltlgrind.org b/doc/org/ltlgrind.org index 843c01d6d..44d9b6878 100644 --- a/doc/org/ltlgrind.org +++ b/doc/org/ltlgrind.org @@ -1,5 +1,5 @@ #+TITLE: =ltlgrind= -#+EMAIL spot@lrde.epita.fr +#+EMAIL: spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t #+LINK_UP: tools.html diff --git a/doc/org/oaut.org b/doc/org/oaut.org index 4f98170f0..5c6405b04 100644 --- a/doc/org/oaut.org +++ b/doc/org/oaut.org @@ -1,5 +1,5 @@ #+TITLE: Common output options for automata -#+EMAIL spot@lrde.epita.fr +#+EMAIL: spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t #+LINK_UP: tools.html diff --git a/doc/org/randaut.org b/doc/org/randaut.org index e4c6245b2..828109201 100644 --- a/doc/org/randaut.org +++ b/doc/org/randaut.org @@ -1,5 +1,5 @@ #+TITLE: =randaut= -#+EMAIL spot@lrde.epita.fr +#+EMAIL: spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t #+LINK_UP: tools.html diff --git a/doc/org/randltl.org b/doc/org/randltl.org index a795331f5..2d6c4de50 100644 --- a/doc/org/randltl.org +++ b/doc/org/randltl.org @@ -1,5 +1,5 @@ #+TITLE: =randltl= -#+EMAIL spot@lrde.epita.fr +#+EMAIL: spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t #+LINK_UP: tools.html diff --git a/doc/org/satmin.org b/doc/org/satmin.org index a6e8819d7..74d4d4041 100644 --- a/doc/org/satmin.org +++ b/doc/org/satmin.org @@ -1,5 +1,5 @@ #+TITLE: SAT-based Minimization of Deterministic (Generalized) Büchi Automata -#+EMAIL spot@lrde.epita.fr +#+EMAIL: spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t #+LINK_UP: tools.html diff --git a/doc/org/tools.org b/doc/org/tools.org index c5eecb660..4f7645180 100644 --- a/doc/org/tools.org +++ b/doc/org/tools.org @@ -1,5 +1,5 @@ #+TITLE: Command-line tools installed by Spot 1.99 -#+EMAIL spot@lrde.epita.fr +#+EMAIL: spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t This document introduces command-line tools that are installed with