From 365fde83645b5ce80b4750db861f67518ec9df48 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 7 Jan 2019 11:26:45 +0100 Subject: [PATCH] org: typo MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * doc/org/concepts.org: Typo reported by Paul Guénézan. * THANKS: Add him. --- THANKS | 1 + doc/org/concepts.org | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/THANKS b/THANKS index 784b6b337..298397ead 100644 --- a/THANKS +++ b/THANKS @@ -33,6 +33,7 @@ Michael Weber Mikuláš Klokočka Ming-Hsien Tsai Nikos Gorogiannis +Paul Guénézan Reuben Rowe Rüdiger Ehlers Silien Hong diff --git a/doc/org/concepts.org b/doc/org/concepts.org index 7df9f5880..6fe52c5bb 100644 --- a/doc/org/concepts.org +++ b/doc/org/concepts.org @@ -21,7 +21,7 @@ true if the light is on and the door open, and false otherwise. Atomic propositions are used to construct temporal logic formulas (see below) to specify properties of the system: for instance we might want -to state that /whenever the the door is open, the light should be on/. +to state that /whenever the door is open, the light should be on/. We could write that as the [[#ltl][LTL formula]] =G(door_open -> light_on)= in which =G= is a temporal operator that means /always/.