From 17dd281b336dae3fcd94dddffec3768b6f1f27e3 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 4 Feb 2014 07:58:52 +0100 Subject: [PATCH] * doc/org/ltlfilt.org: Typo, reported by Fabrice Kordon. --- THANKS | 1 + doc/org/ltlfilt.org | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/THANKS b/THANKS index 9329653b5..66d9e0a81 100644 --- a/THANKS +++ b/THANKS @@ -5,6 +5,7 @@ Akim Demaille Christian Dax Ernesto Posse Étienne Renault +Fabrice Kordon Felix Klaedtke František Blahoudek Gerard J. Holzmann diff --git a/doc/org/ltlfilt.org b/doc/org/ltlfilt.org index e5b6ffbd1..7d63a3387 100644 --- a/doc/org/ltlfilt.org +++ b/doc/org/ltlfilt.org @@ -339,7 +339,7 @@ The =--format= option can be used the alter the way formulas are output (for ins #+HTML: --latex --format='$%f$' to enclose formula in LaTeX format with =$...$=). You may also find =--format= useful in more complex scenarios. For instance you could -print the only the line numbers containing formulas matching some +print only the line numbers containing formulas matching some criterion. In the following, we print only the numbers of the lines of =scheck.ltl= that contain guarantee formulas: